Hacker News new | past | comments | ask | show | jobs | submit login
Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale (micahlerner.com)
4 points by mlerner on Nov 2, 2021 | hide | past | favorite | 1 comment



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




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: