Razzer: Finding Kernel Race Bugs through Fuzzing
Valgrind: a framework for heavyweight dynamic binary instrumentation