Re:A Guide to Undefined Behavior in C and C++ (2010)
by gpderetta on Sunday November 04, 2018 @09:24AM
(#18375981)
Lint is not a whole program static analyzer and being free is a big deal.
Your -second- third paragraph is, unfortunately, still correct though.
Re:A Guide to Undefined Behavior in C and C++ (2010)
by pjmlp on Sunday November 04, 2018 @10:14AM
(#18376192)
Somehow other professionals manage to pay for what goes into their toolboxes, music case, kitchen knives, ....
Re:A Guide to Undefined Behavior in C and C++ (2010)
by minipci1321 on Sunday November 04, 2018 @06:41AM
(#18375392)
How well the attendees of CppCon represent the developer base of C++ projects which are in dire needs of these tools?
Maybe they are so skilled the need does not arise?
Re:A Guide to Undefined Behavior in C and C++ (2010)
by jcranmer on Sunday November 04, 2018 @08:38AM
(#18375791)
One of the most eye-opening papers in this regard was the integer overflow checking paper (which Regehr was coauthor on), which found that every library tested invoked undefined signed integer overflow. This includes SQLite, infamous for its comprehensive testing, and various libraries whose sole purpose was to check if an operation would overflow without invoking undefined behavior.
Belief that you are skilled enough to write C/C++ code that doesn't exercise undefined behavior either shows that you don't know what is undefined behavior or that you believe you are the best programmer to have ever lived.
Re:A Guide to Undefined Behavior in C and C++ (2010)
by esrauch on Sunday November 04, 2018 @06:59AM
(#18375454)
Even people who work on the language spec can't really avoid writing code that hits UB without the help of sanitizers.
Re:A Guide to Undefined Behavior in C and C++ (2010)
by pjmlp on Sunday November 04, 2018 @07:10AM
(#18375502)
The amount of CVEs found per month on highly skilled projecs, with deep review processes, like the Linux kernel proove otherwise.
As for how well, usually conferences like CppCon have the top of the tops.
Lint was created in 1979, during the mid-90's we already had Insure++, Purify and others, ages before of the free beer alternatives.
Yet being free still doesn't help the large majority of C and C++ to actually use them, as proven at one of CppCon talks, where a tiny 1% of the attendees confirmed using any kind of analysers.