Fast static binary instrumentation for linux/x86