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

The article discusses the use of static analysis to identify bugs in computer software. Specifically, the authors describe what they learned in the course of commercializing their Coverity Static Analysis bug-detecting software for industrial use. Among topics covered are the unwillingness of some f...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 53; no. 2; pp. 66 - 76
Main Authors:	BESSEY, AL, BLOCK, KEN, CHELF, BEN, CHOU, ANDY, FULTON, BRYAN, HALEM, SETH, HENRI-GROS, CHARLES, KAMSKY, ASYA, MCPEAK, SCOTT, ENGLER, DAW SON
Format:	Article
Published:	Association for Computing Machinery Feb2010
Subjects:	Debugging Computer software quality control Computer software correctness Computer software testing Computer programming Coverity Inc.
Online Access:	View this record in EBSCOhost