Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale (micahlerner.com) 25 points by greghn 3y ago ↗ HN
[–] katkatkatkatket 3y ago ↗ If something like this existed for C, then we wouldn't need to learn a new language! [–] pjmlp 3y ago ↗ 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. [–] fulafel 3y ago ↗ Here's one C/C++ targeting tool they cite that is kind of similar: https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdfBut both tools only catch a subset of stuff, so they're not final cures for safety bugs.
[–] pjmlp 3y ago ↗ 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.
[–] fulafel 3y ago ↗ Here's one C/C++ targeting tool they cite that is kind of similar: https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdfBut both tools only catch a subset of stuff, so they're not final cures for safety bugs.
4 comments
[ 4.2 ms ] story [ 22.6 ms ] threadThe problem with C isn't lack of tooling trying to fix it.
But both tools only catch a subset of stuff, so they're not final cures for safety bugs.