MemorySanitizer: fast detector of uninitialized memory use in C++
Valgrind: a framework for heavyweight dynamic binary instrumentation