Production-grade Rust is here and it looks to meet the requirement of safety-critical industries. While Rust’s memory-safety guarantees are compelling, certification demands far more than safe code.

Memory errors such as out-of-bounds reads and writes and use-after-free bugs have plagued applications for decades, causing problems ranging from minor execution glitches to global security nightmares ...