PEBIL: Efficient static binary instrumentation for Linux
Pin: building customized program analysis tools with dynamic instrumentation