Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
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.
|Slides (SOAP 2017.pdf)||1.64MiB|
Sun 18 Jun
|14:45 - 15:07|
Esben AndreasenAarhus University, Anders MøllerAarhus University, Benjamin Barslev NielsenAarhus UniversityDOI File Attached
|15:07 - 15:30|
Jens DietrichMassey University, Li SuiMassey University, New Zealand, Shawn RasheedMassey University, Amjed TahirMassey UniversityDOI Media Attached