Rudra: Rust Memory Safety and Undefined Behavior Detection

github.com

4 pointsbrson1 comment

> Rudra was ran on the entirety of crates.io state as of July 4th, 2020 as well as the Rust standard library from nightly-2020-08-26. It managed to find 264 new memory safety issues across the Rust ecosystem which resulted in 76 CVEs.

Great work.

Reply on news.ycombinator.com