StaticAnalyzer/Checkers/MallocChecker.cpp

1 //=== MallocChecker.cpp - A malloc/free checker -------------------*- C++ -*--//
19 //       Many other checkers interact very closely with this checker, in fact,
23 //       It also has a boolean "Optimistic" checker option, which if set to true
24 //       will cause the checker to model user defined memory management related
306   /// In pessimistic mode, the checker assumes that it does not know which
308   /// In optimistic mode, the checker assumes that all user-defined functions
559   ///   registered as allocated by this checker. In the following case, \c ptr
583   ///   registered as allocated by this checker. In the following case, \c ptr
657   /// not handled by this checker.
673   /// Tells if a given family/call/symbol is tracked by the current checker.
674   /// Sets CheckKind to the kind of the checker responsible for this
1921   // NOTE: We detected a bug, but the checker under whose name we would emit the
2959   // Scan the BlockDecRefExprs for any object the retain count checker
3242   // but the Malloc checker cannot differentiate between them. The right way
3596   MallocChecker *checker = mgr.getChecker<MallocChecker>();
3597   checker->ChecksEnabled[MallocChecker::CK_InnerPointerChecker] = true;
3598   checker->CheckNames[MallocChecker::CK_InnerPointerChecker] =
3603   auto *checker = mgr.registerChecker<MallocChecker>();
3604   checker->ShouldIncludeOwnershipAnnotatedFunctions =
3605       mgr.getAnalyzerOptions().getCheckerBooleanOption(checker, "Optimistic");
3606   checker->ShouldRegisterNoOwnershipChangeVisitor =
3608           checker, "AddNoOwnershipChangeNotes");
3617     MallocChecker *checker = mgr.getChecker<MallocChecker>();                  \
3618     checker->ChecksEnabled[MallocChecker::CK_##name] = true;                   \
3619     checker->CheckNames[MallocChecker::CK_##name] =                            \