In Defense of Soundiness: A Manifesto
The article discusses soundness of static program analysis. The authors say soundness implies accounting for all possible executions of a program, the calculation of an over-approximation, and an avoidance of spurious results. In their view no whole-program analysis tool meets this standard, a fact...
| Publicado en: | Communications of the ACM Vol. 58; no. 2; pp. 44 - 47 |
|---|---|
| Autores principales: | , , , , , , , , , |
| Formato: | Opinion |
| Publicado: |
Association for Computing Machinery
Feb2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=100777395&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 100777395 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Feb2015 vid: 58 iid: 2 pid: 68 pub: Association for Computing Machinery artinfo: ui: 100777395 10.1145/2644805 ppf: 44 ppct: 3 formats: tig: atl: In Defense of Soundiness: A Manifesto aug: au: Livshits, Benjamin Sridharan, Manu Smaragdakis, Yannis Lhoták, Ondřej Amaral, J. Nelson Chang, Bor-Yuh Evan Guyer, Samuel Z. Khedker, Uday P. Møller, Anders Vardoulakis, Dimitrios affil: Research scientist, Microsoft Research Senior staff engineer, Samsung Research America Associate professor, University of Athens Associate professor, University of Waterloo Professor, University of Alberta Assistant professor, University of Colorado Boulder Associate professor, Tufts University Professor, Indian Institute of Technology Bombay Associate professor, Aarhus University Software engineer, Google Inc. su: Computer software quality control Defect tracking (Computer software development) Software engineering Software measurement Programming languages Computer software sug: subj: Computer software quality control Defect tracking (Computer software development) Software engineering Software measurement Programming languages Computer software ab: The article discusses soundness of static program analysis. The authors say soundness implies accounting for all possible executions of a program, the calculation of an over-approximation, and an avoidance of spurious results. In their view no whole-program analysis tool meets this standard, a fact that most members of the research community are unaware of. To address this situation they propose a type of analysis called soundy that is characterized by over-approximation for most features of a programming language, but under-approximation for a specific subset. pubtype: Periodical doctype: Opinion src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2015 holdings: @attributes: islocal: N |
|---|