Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution
Valgrind: a framework for heavyweight dynamic binary instrumentation