3 ms·
If something like this existed for C, then we wouldn't need to learn a new language!
by katkatkatkatket 4y ago
If something like this existed for C, then we wouldn't need to learn a new language!
- pjmlp 4y agoPlenty 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 4y agoHere's one C/C++ targeting tool they cite that is kind of similar: https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf 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.