Lines Matching refs:CheckerManager
1 //===- CheckerManager.cpp - Static Analyzer Checker Manager ---------------===//
13 #include "clang/StaticAnalyzer/Core/CheckerManager.h"
37 bool CheckerManager::hasPathSensitiveCheckers() const {
51 void CheckerManager::reportInvalidCheckerOptionValue(
64 void CheckerManager::runCheckersOnASTDecl(const Decl *D, AnalysisManager& mgr,
83 void CheckerManager::runCheckersOnASTBody(const Decl *D, AnalysisManager& mgr,
138 using CheckersTy = SmallVectorImpl<CheckerManager::CheckStmtFunc>;
154 void runChecker(CheckerManager::CheckStmtFunc checkFn,
169 void CheckerManager::runCheckersForStmt(bool isPreVisit,
183 using CheckersTy = std::vector<CheckerManager::CheckObjCMessageFunc>;
201 void runChecker(CheckerManager::CheckObjCMessageFunc checkFn,
225 void CheckerManager::runCheckersForObjCMessage(ObjCMessageVisitKind visitKind,
236 const std::vector<CheckerManager::CheckObjCMessageFunc> &
237 CheckerManager::getObjCMessageCheckers(ObjCMessageVisitKind Kind) const {
255 using CheckersTy = std::vector<CheckerManager::CheckCallFunc>;
271 void runChecker(CheckerManager::CheckCallFunc checkFn,
283 void CheckerManager::runCheckersForCallEvent(bool isPreVisit,
299 using CheckersTy = std::vector<CheckerManager::CheckLocationFunc>;
318 void runChecker(CheckerManager::CheckLocationFunc checkFn,
335 void CheckerManager::runCheckersForLocation(ExplodedNodeSet &Dst,
349 using CheckersTy = std::vector<CheckerManager::CheckBindFunc>;
366 void runChecker(CheckerManager::CheckBindFunc checkFn,
378 void CheckerManager::runCheckersForBind(ExplodedNodeSet &Dst,
387 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G,
397 using CheckersTy = std::vector<CheckerManager::CheckBeginFunctionFunc>;
410 void runChecker(CheckerManager::CheckBeginFunctionFunc checkFn,
421 void CheckerManager::runCheckersForBeginFunction(ExplodedNodeSet &Dst,
434 void CheckerManager::runCheckersForEndFunction(NodeBuilderContext &BC,
454 using CheckersTy = std::vector<CheckerManager::CheckBranchConditionFunc>;
467 void runChecker(CheckerManager::CheckBranchConditionFunc checkFn,
479 void CheckerManager::runCheckersForBranchCondition(const Stmt *Condition,
492 using CheckersTy = std::vector<CheckerManager::CheckNewAllocatorFunc>;
507 void runChecker(CheckerManager::CheckNewAllocatorFunc checkFn,
519 void CheckerManager::runCheckersForNewAllocator(const CXXAllocatorCall &Call,
531 void CheckerManager::runCheckersForLiveSymbols(ProgramStateRef state,
540 using CheckersTy = std::vector<CheckerManager::CheckDeadSymbolsFunc>;
556 void runChecker(CheckerManager::CheckDeadSymbolsFunc checkFn,
572 void CheckerManager::runCheckersForDeadSymbols(ExplodedNodeSet &Dst,
584 CheckerManager::runCheckersForRegionChanges(ProgramStateRef state,
603 CheckerManager::runCheckersForPointerEscape(ProgramStateRef State,
624 CheckerManager::runCheckersForEvalAssume(ProgramStateRef state,
638 void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst,
698 void CheckerManager::runCheckersOnEndOfTranslationUnit(
706 void CheckerManager::runCheckersForPrintStateJson(raw_ostream &Out,
779 void CheckerManager::_registerForDecl(CheckDeclFunc checkfn,
785 void CheckerManager::_registerForBody(CheckDeclFunc checkfn) {
793 void CheckerManager::_registerForPreStmt(CheckStmtFunc checkfn,
799 void CheckerManager::_registerForPostStmt(CheckStmtFunc checkfn,
805 void CheckerManager::_registerForPreObjCMessage(CheckObjCMessageFunc checkfn) {
809 void CheckerManager::_registerForObjCMessageNil(CheckObjCMessageFunc checkfn) {
813 void CheckerManager::_registerForPostObjCMessage(CheckObjCMessageFunc checkfn) {
817 void CheckerManager::_registerForPreCall(CheckCallFunc checkfn) {
820 void CheckerManager::_registerForPostCall(CheckCallFunc checkfn) {
824 void CheckerManager::_registerForLocation(CheckLocationFunc checkfn) {
828 void CheckerManager::_registerForBind(CheckBindFunc checkfn) {
832 void CheckerManager::_registerForEndAnalysis(CheckEndAnalysisFunc checkfn) {
836 void CheckerManager::_registerForBeginFunction(CheckBeginFunctionFunc checkfn) {
840 void CheckerManager::_registerForEndFunction(CheckEndFunctionFunc checkfn) {
844 void CheckerManager::_registerForBranchCondition(
849 void CheckerManager::_registerForNewAllocator(CheckNewAllocatorFunc checkfn) {
853 void CheckerManager::_registerForLiveSymbols(CheckLiveSymbolsFunc checkfn) {
857 void CheckerManager::_registerForDeadSymbols(CheckDeadSymbolsFunc checkfn) {
861 void CheckerManager::_registerForRegionChanges(CheckRegionChangesFunc checkfn) {
865 void CheckerManager::_registerForPointerEscape(CheckPointerEscapeFunc checkfn){
869 void CheckerManager::_registerForConstPointerEscape(
874 void CheckerManager::_registerForEvalAssume(EvalAssumeFunc checkfn) {
878 void CheckerManager::_registerForEvalCall(EvalCallFunc checkfn) {
882 void CheckerManager::_registerForEndOfTranslationUnit(
891 const CheckerManager::CachedStmtCheckers &
892 CheckerManager::getCachedStmtCheckersFor(const Stmt *S, bool isPreVisit) {