LWN.net Logo

A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World (CACM)

A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World (CACM)
[Announcements] Posted Feb 14, 2010 17:45 UTC (Sun) 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."

Comments (61 posted)

Copyright © 2010, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds