Write a Blog >>
Sun 18 Jun 2017 14:45 - 15:07 at Vertex WS216 - Soundness and Precision

Building static analyzers for modern programming languages is difficult. Often soundness is a requirement, perhaps with some well-defined exceptions, and precision must be adequate for producing useful results on realistic input programs. Formally proving such properties of a complex static analysis implementation is rarely an option in practice, which raises the challenge of how to identify causes and importance of soundness and precision problems.

Through a series of examples, we present our experience with semi-automated methods based on delta debugging and dynamic analysis for increasing soundness and precision of a static analyzer for JavaScript. The individual methods are well known, but to our knowledge rarely used systematically and in combination.

Slides (SOAP 2017.pdf)1.65MiB

Conference Day
Sun 18 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:45 - 15:30
Soundness and PrecisionSOAP at Vertex WS216
Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
Esben AndreasenAarhus University, Anders MøllerAarhus University, Benjamin Barslev NielsenAarhus University
DOI File Attached
On the Construction of Soundness Oracles
Jens DietrichMassey University, Li SuiMassey University, New Zealand, Shawn RasheedMassey University, Amjed TahirMassey University
DOI Media Attached