Auditing Rust Crates Effectively

Lydia Zoghbi, David Thien, Ranjit Jhala +2

We introduce Cargo Scan, the first interactive program analysis tool designed to help developers audit third-party Rust code. Real systems written in Rust rely on thousands of tran…