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

Sun 18 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SOAP-2017-papers
14:45 - 15:30: SOAP - Soundness and Precision at Vertex WS216
SOAP-2017-papers14:45 - 15:07
Talk
Esben AndreasenAarhus University, Anders MøllerAarhus University, Benjamin Barslev NielsenAarhus University
DOI File Attached
SOAP-2017-papers15:07 - 15:30
Talk
Jens DietrichMassey University, Li SuiMassey University, New Zealand, Shawn RasheedMassey University, Amjed TahirMassey University
DOI Media Attached