Trail of Bits has published a comprehensive new chapter in their Testing Handbook dedicated to security testing of Rust programs. The chapter covers dynamic analysis (Miri, proptest, coverage, mutation testing), static analysis (Clippy lints), manual review checklists for Rust-specific footguns, memory zeroization techniques, model checking with Kani, and supply chain vetting tools. Additionally, a Claude Code plugin called rust-review was released for automated Rust security reviews.
dynamic analysis
1 post
Rust-proof your code with our new Testing Handbook chapter