3 ms·Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale4 points by mlerner 5y agomaxthegeek1 5y agoPretty cool. I wonder if any part of Rudra will ever be incorporated into the Rust compiler.