Home | History | Annotate | Download | only in Checkers

Lines Matching defs:checker

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
61 #include "clang/StaticAnalyzer/Core/Checker.h"
289     : public Checker<check::DeadSymbols, check::PointerEscape,
295   /// In pessimistic mode, the checker assumes that it does not know which
297   /// In optimistic mode, the checker assumes that all user-defined functions
551   ///   registered as allocated by this checker. In the following case, \c ptr
577   ///   registered as allocated by this checker. In the following case, \c ptr
655   /// not handled by this checker.
672   /// Tells if a given family/call/symbol is tracked by the current checker.
673   /// Sets CheckKind to the kind of the checker responsible for this
1720   // NOTE: We detected a bug, but the checker under whose name we would emit the
2752   // Scan the BlockDecRefExprs for any object the retain count checker
3035   // but the Malloc checker cannot differentiate between them. The right way
3387   MallocChecker *checker = mgr.getChecker<MallocChecker>();
3388   checker->ChecksEnabled[MallocChecker::CK_InnerPointerChecker] = true;
3389   checker->CheckNames[MallocChecker::CK_InnerPointerChecker] =
3394   auto *checker = mgr.registerChecker<MallocChecker>();
3395   checker->ShouldIncludeOwnershipAnnotatedFunctions =
3396       mgr.getAnalyzerOptions().getCheckerBooleanOption(checker, "Optimistic");
3405     MallocChecker *checker = mgr.getChecker<MallocChecker>();                  \
3406     checker->ChecksEnabled[MallocChecker::CK_##name] = true;                   \
3407     checker->CheckNames[MallocChecker::CK_##name] =                            \