PEBIL: Efficient static binary instrumentation for Linux
Valgrind: a framework for heavyweight dynamic binary instrumentation