Transforms/Instrumentation/MemorySanitizer.cpp

1 //===-- MemorySanitizer.cpp - detector of uninitialized reads -------------===//
10 /// This file is a part of MemorySanitizer, a detector of uninitialized
49 /// MemorySanitizer can track origins (allocation points) of all uninitialized
62 /// MemorySanitizer reports can show unrelated origins, but this is unlikely in
65 /// Origins are meaningless for fully initialized values, so MemorySanitizer
134 /// Adds a section to MemorySanitizer report that points to the allocation
182        cl::desc("File containing the list of functions where MemorySanitizer "
202 /// MemorySanitizer: instrument the code in module to find
204 class MemorySanitizer : public FunctionPass {
206   MemorySanitizer(bool TrackOrigins = false,
214   const char *getPassName() const { return "MemorySanitizer"; }
290 char MemorySanitizer::ID = 0;
291 INITIALIZE_PASS(MemorySanitizer, "msan",
292                 "MemorySanitizer: detects uninitialized reads.",
297   return new MemorySanitizer(TrackOrigins, BlacklistFile);
314 void MemorySanitizer::initializeCallbacks(Module &M) {
401 bool MemorySanitizer::doInitialization(Module &M) {
476 CreateVarArgHelper(Function &Func, MemorySanitizer &Msan,
487   MemorySanitizer &MS;
512   MemorySanitizerVisitor(Function &F, MemorySanitizer &MS)
526           dbgs() << "MemorySanitizer is not inserting checks into '"
652   /// \brief Add MemorySanitizer instrumentation to a function.
2165   MemorySanitizer &MS;
2172   VarArgAMD64Helper(Function &F, MemorySanitizer &MS,
2313   VarArgNoOpHelper(Function &F, MemorySanitizer &MS,
2325 VarArgHelper *CreateVarArgHelper(Function &Func, MemorySanitizer &Msan,
2338 bool MemorySanitizer::runOnFunction(Function &F) {