SECFUZZ: Fuzz-testing security protocols
Valgrind: a framework for heavyweight dynamic binary instrumentation