Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale

Pretty cool. I wonder if any part of Rudra will ever be incorporated into the Rust compiler.