A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World (CACM)
[Posted February 14, 2010 by corbet]
The developers of the Coverity checker have published a lengthy article in the Communications of the ACM detailing the lessons they have learned. "No bug is too foolish to check for. Given enough code, developers will write almost anything you can think of. Further, completely foolish errors can be some of the most serious; it's difficult to be extravagantly nonsensical in a harmless way."
(Log in to post comments)