Before introducing our framework, we explain why it is important to have an automatic benchmarking mechanism. Our examples originate from static analyses of standard benchmarks, which are presented in 6_subsec:examples_of_problems.