Abstract: Rust is a young systems programming language that is type and memory safe. Despite Rust’s design focus on safety and correctness, bugs are inevitable in any software system, and Rust is no ...