An empirical study on the effectiveness of static C code analyzers for vulnerability detection.

Stephan Lipp, Sebastian Banescu, Alexander Pretschner

Browse the full ISSTA paper archive.