Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust

Jie Zhou, Mingshen Sun, John Criswell

Rust is one of the most promising systems programming languages to fundamentally solve the memory safety issues that have plagued low-level software for over forty years. However,…