Benchmarking Open-Source Static Analyzers for Security Testing for C.

Christoph Gentsch, Rohan Krishnamurthy, Thomas S. Heinze

Browse the full ISoLA paper archive.