MemorySanitizer: fast detector of uninitialized memory use in C++
Practical memory checking with Dr. Memory