Benchmarking Static Analyzers.
Pascal Cuoq, Florent Kirchner, Boris Yakobowski · 2012
Static analysis benchmarks matter. Although benchmarking requires significant effort, it has driven innovation in many areas of Computer Science. Therefore this process and the underlying testcases should be carefully devised. However the problem that static analysis tackles—statically predicting whether a program