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

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 58; no. 2; pp. 44 - 47
Autores principales:	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
Formato:	Opinion
Publicado:	Association for Computing Machinery Feb2015
Materias:	Computer software quality control Defect tracking (Computer software development) Software engineering Software measurement Programming languages Computer software
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	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.