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

@article{Stepanov2015MemorySanitizerFD,
  title={MemorySanitizer: Fast detector of uninitialized memory use in C++},
  author={Evgeniy Stepanov and Konstantin Serebryany},
  journal={2015 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)},
  year={2015},
  pages={46-55}
}
This paper presents MemorySanitizer, a dynamic tool that detects uses of uninitialized memory in C and C++. The tool is based on compile time instrumentation and relies on bit-precise shadow memory at run-time. Shadow propagation technique is used to avoid false positive reports on copying of uninitialized memory. MemorySanitizer finds bugs at a modest cost of 2.5x in execution time and 2x in memory usage; the tool has an optional origin tracking mode that provides better reports with moderate… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 55 citations. REVIEW CITATIONS

6 Figures & Tables

Topics

Statistics

02040201620172018
Citations per Year

56 Citations

Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.