Home → Magazine Archive → February 2010 (Vol. 53, No. 2) → A Few Billion Lines of Code Later: Using Static Analysis... → Abstract

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

By Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, Dawson Engler

Communications of the ACM, Vol. 53 No. 2, Pages 66-75
10.1145/1646353.1646374

[article image]


How Coverity built a bug-finding tool, and a business, around the unlimited supply of bugs in software systems.

The full text of this article is premium content

2 Comments

Bjarne Stroustrup

I hugely enjoyed this article. I can't think when I last read an article that made so many important points. Thanks for not sugar-coating the description of real-world problems and real solutions. And thanks for not drowning those points in jargon.

Moshe Vardi

See discussion at http://lambda-the-ultimate.org/node/3824

Displaying all 2 comments