MemorySanitizer: fast detector of uninitialized memory use in C++. - Evgeniy Stepanov; Konstantin Serebryany (CGO, 2015)