What every C Programmer should know about undefined behavior #2/3
What every C Programmer should know about undefined behavior #2/3
[Development] Posted May 16, 2011 15:23 UTC (Mon) by corbet
The second
installment in the series on undefined behavior in C has been posted to
the LLVM blog. "The end result of this is that we have lots of tools
in the toolbox to find some bugs, but no good way to prove that an
application is free of undefined behavior. Given that there are lots of
bugs in real world applications and that C is used for a broad range of
critical applications, this is pretty scary.
"