A few billion lines of code later
- 1 February 2010
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 53 (2), 66-75
- https://doi.org/10.1145/1646353.1646374
Abstract
How Coverity built a bug-finding tool, and a business, around the unlimited supply of bugs in software systems.Keywords
This publication has 7 references indexed in Scilit:
- Context- and path-sensitive memory leak detectionPublished by Association for Computing Machinery (ACM) ,2005
- A system and language for building system-specific, static analysesPublished by Association for Computing Machinery (ACM) ,2002
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- ESPPublished by Association for Computing Machinery (ACM) ,2002
- Flow-sensitive type qualifiersPublished by Association for Computing Machinery (ACM) ,2002
- A static analyzer for finding dynamic programming errorsSoftware: Practice and Experience, 2000
- A static analyzer for finding dynamic programming errorsSoftware: Practice and Experience, 2000