Lines Matching refs:CheckerManager
36 bool CheckerManager::hasPathSensitiveCheckers() const { in hasPathSensitiveCheckers()
53 void CheckerManager::finishedCheckerRegistration() { in finishedCheckerRegistration()
63 void CheckerManager::reportInvalidCheckerOptionValue( in reportInvalidCheckerOptionValue()
76 void CheckerManager::runCheckersOnASTDecl(const Decl *D, AnalysisManager& mgr, in runCheckersOnASTDecl()
98 void CheckerManager::runCheckersOnASTBody(const Decl *D, AnalysisManager& mgr, in runCheckersOnASTBody()
153 using CheckersTy = SmallVectorImpl<CheckerManager::CheckStmtFunc>;
169 void runChecker(CheckerManager::CheckStmtFunc checkFn, in runChecker()
184 void CheckerManager::runCheckersForStmt(bool isPreVisit, in runCheckersForStmt()
198 using CheckersTy = std::vector<CheckerManager::CheckObjCMessageFunc>;
216 void runChecker(CheckerManager::CheckObjCMessageFunc checkFn, in runChecker()
240 void CheckerManager::runCheckersForObjCMessage(ObjCMessageVisitKind visitKind, in runCheckersForObjCMessage()
251 const std::vector<CheckerManager::CheckObjCMessageFunc> &
252 CheckerManager::getObjCMessageCheckers(ObjCMessageVisitKind Kind) const { in getObjCMessageCheckers()
270 using CheckersTy = std::vector<CheckerManager::CheckCallFunc>;
286 void runChecker(CheckerManager::CheckCallFunc checkFn, in runChecker()
298 void CheckerManager::runCheckersForCallEvent(bool isPreVisit, in runCheckersForCallEvent()
314 using CheckersTy = std::vector<CheckerManager::CheckLocationFunc>;
333 void runChecker(CheckerManager::CheckLocationFunc checkFn, in runChecker()
350 void CheckerManager::runCheckersForLocation(ExplodedNodeSet &Dst, in runCheckersForLocation()
364 using CheckersTy = std::vector<CheckerManager::CheckBindFunc>;
381 void runChecker(CheckerManager::CheckBindFunc checkFn, in runChecker()
393 void CheckerManager::runCheckersForBind(ExplodedNodeSet &Dst, in runCheckersForBind()
402 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G, in runCheckersForEndAnalysis()
412 using CheckersTy = std::vector<CheckerManager::CheckBeginFunctionFunc>;
425 void runChecker(CheckerManager::CheckBeginFunctionFunc checkFn, in runChecker()
436 void CheckerManager::runCheckersForBeginFunction(ExplodedNodeSet &Dst, in runCheckersForBeginFunction()
449 void CheckerManager::runCheckersForEndFunction(NodeBuilderContext &BC, in runCheckersForEndFunction()
469 using CheckersTy = std::vector<CheckerManager::CheckBranchConditionFunc>;
482 void runChecker(CheckerManager::CheckBranchConditionFunc checkFn, in runChecker()
494 void CheckerManager::runCheckersForBranchCondition(const Stmt *Condition, in runCheckersForBranchCondition()
507 using CheckersTy = std::vector<CheckerManager::CheckNewAllocatorFunc>;
522 void runChecker(CheckerManager::CheckNewAllocatorFunc checkFn, in runChecker()
534 void CheckerManager::runCheckersForNewAllocator(const CXXAllocatorCall &Call, in runCheckersForNewAllocator()
546 void CheckerManager::runCheckersForLiveSymbols(ProgramStateRef state, in runCheckersForLiveSymbols()
555 using CheckersTy = std::vector<CheckerManager::CheckDeadSymbolsFunc>;
571 void runChecker(CheckerManager::CheckDeadSymbolsFunc checkFn, in runChecker()
587 void CheckerManager::runCheckersForDeadSymbols(ExplodedNodeSet &Dst, in runCheckersForDeadSymbols()
599 CheckerManager::runCheckersForRegionChanges(ProgramStateRef state, in runCheckersForRegionChanges()
618 CheckerManager::runCheckersForPointerEscape(ProgramStateRef State, in runCheckersForPointerEscape()
639 CheckerManager::runCheckersForEvalAssume(ProgramStateRef state, in runCheckersForEvalAssume()
653 void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst, in runCheckersForEvalCall()
714 void CheckerManager::runCheckersOnEndOfTranslationUnit( in runCheckersOnEndOfTranslationUnit()
722 void CheckerManager::runCheckersForPrintStateJson(raw_ostream &Out, in runCheckersForPrintStateJson()
795 void CheckerManager::_registerForDecl(CheckDeclFunc checkfn, in _registerForDecl()
801 void CheckerManager::_registerForBody(CheckDeclFunc checkfn) { in _registerForBody()
809 void CheckerManager::_registerForPreStmt(CheckStmtFunc checkfn, in _registerForPreStmt()
815 void CheckerManager::_registerForPostStmt(CheckStmtFunc checkfn, in _registerForPostStmt()
821 void CheckerManager::_registerForPreObjCMessage(CheckObjCMessageFunc checkfn) { in _registerForPreObjCMessage()
825 void CheckerManager::_registerForObjCMessageNil(CheckObjCMessageFunc checkfn) { in _registerForObjCMessageNil()
829 void CheckerManager::_registerForPostObjCMessage(CheckObjCMessageFunc checkfn) { in _registerForPostObjCMessage()
833 void CheckerManager::_registerForPreCall(CheckCallFunc checkfn) { in _registerForPreCall()
836 void CheckerManager::_registerForPostCall(CheckCallFunc checkfn) { in _registerForPostCall()
840 void CheckerManager::_registerForLocation(CheckLocationFunc checkfn) { in _registerForLocation()
844 void CheckerManager::_registerForBind(CheckBindFunc checkfn) { in _registerForBind()
848 void CheckerManager::_registerForEndAnalysis(CheckEndAnalysisFunc checkfn) { in _registerForEndAnalysis()
852 void CheckerManager::_registerForBeginFunction(CheckBeginFunctionFunc checkfn) { in _registerForBeginFunction()
856 void CheckerManager::_registerForEndFunction(CheckEndFunctionFunc checkfn) { in _registerForEndFunction()
860 void CheckerManager::_registerForBranchCondition( in _registerForBranchCondition()
865 void CheckerManager::_registerForNewAllocator(CheckNewAllocatorFunc checkfn) { in _registerForNewAllocator()
869 void CheckerManager::_registerForLiveSymbols(CheckLiveSymbolsFunc checkfn) { in _registerForLiveSymbols()
873 void CheckerManager::_registerForDeadSymbols(CheckDeadSymbolsFunc checkfn) { in _registerForDeadSymbols()
877 void CheckerManager::_registerForRegionChanges(CheckRegionChangesFunc checkfn) { in _registerForRegionChanges()
881 void CheckerManager::_registerForPointerEscape(CheckPointerEscapeFunc checkfn){ in _registerForPointerEscape()
885 void CheckerManager::_registerForConstPointerEscape( in _registerForConstPointerEscape()
890 void CheckerManager::_registerForEvalAssume(EvalAssumeFunc checkfn) { in _registerForEvalAssume()
894 void CheckerManager::_registerForEvalCall(EvalCallFunc checkfn) { in _registerForEvalCall()
898 void CheckerManager::_registerForEndOfTranslationUnit( in _registerForEndOfTranslationUnit()
907 const CheckerManager::CachedStmtCheckers &
908 CheckerManager::getCachedStmtCheckersFor(const Stmt *S, bool isPreVisit) { in getCachedStmtCheckersFor()