Delta-Bench: Differential Benchmark for Static Analysis Security Testing Tools
LAVA: Large-Scale Automated Vulnerability Addition