State of the art: Dynamic symbolic execution for automated test generation
Valgrind: a framework for heavyweight dynamic binary instrumentation