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
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] = \