Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Soundness and its Role in Bug Detection Systems Yichen Xie Mayur Naik Brian Hackett Alex Aiken
 

Summary: Soundness and its Role in Bug Detection Systems
Yichen Xie Mayur Naik Brian Hackett Alex Aiken
Computer Science Department
Stanford University
Stanford, CA 94305
The term soundness originated in mathematical logic: a
deductive system is sound with respect to a semantics if it
only proves valid arguments. This concept naturally extends
to the context of optimizing compilers, where static analysis
techniques were first employed. There, soundness means the
preservation of program semantics, which is the principal
requirement of a correct compiler.
In bug detection systems, soundness means the ability to
detect all possible errors of a certain class. Soundness is
a primary focus of many proposals for bug detection tools.
Tools that do not offer such guarantees are sometimes sum-
marily dismissed as being, well, unsound, without regard to
the tool's effectiveness.
However, soundness has costs. Beyond the simplest prop-
erties, analysis problems are often statically undecidable and

  

Source: Aiken, Alex - Department of Computer Science, Stanford University

 

Collections: Computer Technologies and Information Sciences