Soteria: A New Generation of Static Analysis for Rust
soteria-tools.com