Verifying the Rust Standard Library

Byron Cook, Remi Delmas, Zyad Hassan +9

Rust's type system prevents many classes of memory errors, yet its standard library relies heavily on unsafe code whose correctness is validated through testing, including dynamic…