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...
| Published in: | Communications of the ACM Vol. 53; no. 2; pp. 66 - 76 |
|---|---|
| Main Authors: | , , , , , , , , , |
| Format: | Article |
| Published: |
Association for Computing Machinery
Feb2010
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=47776285&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 47776285 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Feb2010 vid: 53 iid: 2 pid: 68 pub: Association for Computing Machinery artinfo: ui: 47776285 10.1145/1646353.1646374 ppf: 66 ppct: 10 formats: tig: atl: A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World. aug: au: BESSEY, AL BLOCK, KEN CHELF, BEN CHOU, ANDY FULTON, BRYAN HALEM, SETH HENRI-GROS, CHARLES KAMSKY, ASYA MCPEAK, SCOTT ENGLER, DAW SON affil: Associate professor, Department of Computer Science and Electrical Engineering, Stanford University, Stanford, CA. su: Debugging Computer software quality control Computer software correctness Computer software testing Computer programming Coverity Inc. sug: subj: Debugging Computer software quality control Computer software correctness Computer software testing Computer programming Coverity Inc. ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2010 holdings: @attributes: islocal: N |
|---|