Comment by pkhuong
10 years ago
http://cacm.acm.org/magazines/2016/3/198849-a-differential-a...
8575 C or C++ packages in Wheezy. This tool found definite UB bugs in 40% of them.
How would you know that your code is sometimes misbehaving because of UB?
The linked paper claims their tool issued as least one warning on 40% of the C or C++ packages, not that they were all valid warnings indicating undefined behavior.
A warning is not 'definite UB'
not denying there are issues... just saying that C isn't the only widespread language with issues. at least C's problems are widely known.
The Potzrebie car isn't the only car with issues. At least the Potzrebie's doors-falling-off problem is widely known.
If the compiler writers union decides that the spec allows for 'format hard drive off on signed overflow' we can always change the spec to 'don't format hard drive on signed overflow'
3 replies →