LAVA: Large-Scale Automated Vulnerability Addition
Using a Diagnostic Corpus of C Programs to Evaluate Buffer Overflow Detection by Static Analysis Tools