GitHub repository: Anthonysdu/benchexec
Description: BenchExec: A Framework for Reliable Benchmarking and Resource Measurement