Penumbra: automatically identifying failure-relevant inputs using dynamic tainting
Bugbench: Benchmarks for evaluating bug detection tools