DECAF: A Platform-Neutral Whole-System Dynamic Binary Analysis Platform
Valgrind: a framework for heavyweight dynamic binary instrumentation