Dynamic binary analysis and instrumentation