1;3409;0c A few billion lines of code later: using static analysis to find bugs in the real world

A few billion lines of code later: using static analysis to find bugs in the real world

Communications of the ACM, vol. 53, no. 2, 2010
Pages: 66-75DOI: 10.1145/1646353.1646374

CACM

bibtex

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