Note that while Rust's Borrow Checker, Slice types, and integer overflow/underflow guards, eliminate most memory corruption bugs, there is still a chance for bugs in Rust code, especially in unsafe { } blocks. Grepping for unsafe { is like the Rust code-auditing equivalent of grepping for strcpy(.
#rust #codeauditing #appsec