Systematic approaches for increasing soundness and precision of static analyzers
Esben Andreasen, Anders Møller, Benjamin Barslev Nielsen · 2017
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.