Andres Nötzli

How to Build Static Checking Systems Using Orders of Magnitude Less Code

2016

Modern static bug finding tools are complex. They typically consist of hundreds of thousands of lines of code, and most of them are wedded to one language (or even one compiler). This complexity makes the …