LAVA: Large-Scale Automated Vulnerability Addition
Bugbench: Benchmarks for evaluating bug detection tools