Benchmarks from the static analysis evaluation part of the paper