PEBIL: Efficient static binary instrumentation for Linux
Efficient instrumentation for code coverage testing