Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale(micahlerner.com)
micahlerner.com
Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale
https://www.micahlerner.com/2021/10/31/rudra-finding-memory-safety-bugs-in-rust-at-the-ecosystem-scale.html
2 comments
Paper PDF link: https://www.micahlerner.com/assets/papers/rudra.pdf
If something like this existed for C, then we wouldn't need to learn a new language!
Plenty of stuff exists, the first one being lint, introduced in 1979.
The problem with C isn't lack of tooling trying to fix it.
The problem with C isn't lack of tooling trying to fix it.
Here's one C/C++ targeting tool they cite that is kind of similar: https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf
But both tools only catch a subset of stuff, so they're not final cures for safety bugs.
But both tools only catch a subset of stuff, so they're not final cures for safety bugs.