Static analysis benchmarks from the evaluation part of the paper