Imagen de Portada
Código QR

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

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
Sumario: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 firms to subject all of their code to the author's software, conflicts between their product and other software programs, the necessity of being able to parse code that is to be checked, and firms' occasional indifference to bugs that are discovered.