MemorySanitizer: fast detector of uninitialized memory use in C++

   Abstract