UROBOROS: Instrumenting Stripped Binaries with Static Reassembling
Valgrind: a framework for heavyweight dynamic binary instrumentation