top | item 32467838 (no title) katkatkatkatket | 3 years ago If something like this existed for C, then we wouldn't need to learn a new language! discuss order hn newest pjmlp|3 years 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|3 years 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|3 years 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|3 years 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|3 years ago
The problem with C isn't lack of tooling trying to fix it.
fulafel|3 years ago
But both tools only catch a subset of stuff, so they're not final cures for safety bugs.