Benchmarking tools

Sanitizer benchmarks

• https://github.com/mediakind-video/memory-sanitizer-benchmark

Static Analysis tools benchmarks

• https://github.com/ispras/juliet-dynamic

• https://github.com/regehr/itc-benchmarks

• SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.