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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 53; no. 2; pp. 66 - 76
Autores principales:	BESSEY, AL, BLOCK, KEN, CHELF, BEN, CHOU, ANDY, FULTON, BRYAN, HALEM, SETH, HENRI-GROS, CHARLES, KAMSKY, ASYA, MCPEAK, SCOTT, ENGLER, DAW SON
Formato:	Artículo
Publicado:	Association for Computing Machinery Feb2010
Materias:	Debugging Computer software quality control Computer software correctness Computer software testing Computer programming Coverity Inc.
Acceso en línea:	Ver este registro en EBSCOhost