Lines Matching defs:CheckerManager
1 //===--- CheckerManager.cpp - Static Analyzer Checker Manager -------------===//
14 #include "clang/StaticAnalyzer/Core/CheckerManager.h"
24 bool CheckerManager::hasPathSensitiveCheckers() const {
42 void CheckerManager::finishedCheckerRegistration() {
56 void CheckerManager::runCheckersOnASTDecl(const Decl *D, AnalysisManager& mgr,
81 void CheckerManager::runCheckersOnASTBody(const Decl *D, AnalysisManager& mgr,
137 typedef SmallVectorImpl<CheckerManager::CheckStmtFunc> CheckersTy;
152 void runChecker(CheckerManager::CheckStmtFunc checkFn,
166 void CheckerManager::runCheckersForStmt(bool isPreVisit,
179 typedef std::vector<CheckerManager::CheckObjCMessageFunc> CheckersTy;
194 void runChecker(CheckerManager::CheckObjCMessageFunc checkFn,
205 void CheckerManager::runCheckersForObjCMessage(bool isPreVisit,
222 typedef std::vector<CheckerManager::CheckCallFunc> CheckersTy;
237 void runChecker(CheckerManager::CheckCallFunc checkFn,
248 void CheckerManager::runCheckersForCallEvent(bool isPreVisit,
263 typedef std::vector<CheckerManager::CheckLocationFunc> CheckersTy;
281 void runChecker(CheckerManager::CheckLocationFunc checkFn,
297 void CheckerManager::runCheckersForLocation(ExplodedNodeSet &Dst,
310 typedef std::vector<CheckerManager::CheckBindFunc> CheckersTy;
326 void runChecker(CheckerManager::CheckBindFunc checkFn,
337 void CheckerManager::runCheckersForBind(ExplodedNodeSet &Dst,
346 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G,
356 void CheckerManager::runCheckersForEndFunction(NodeBuilderContext &BC,
378 typedef std::vector<CheckerManager::CheckBranchConditionFunc> CheckersTy;
390 void runChecker(CheckerManager::CheckBranchConditionFunc checkFn,
401 void CheckerManager::runCheckersForBranchCondition(const Stmt *Condition,
412 void CheckerManager::runCheckersForLiveSymbols(ProgramStateRef state,
420 typedef std::vector<CheckerManager::CheckDeadSymbolsFunc> CheckersTy;
435 void runChecker(CheckerManager::CheckDeadSymbolsFunc checkFn,
450 void CheckerManager::runCheckersForDeadSymbols(ExplodedNodeSet &Dst,
461 bool CheckerManager::wantsRegionChangeUpdate(ProgramStateRef state) {
471 CheckerManager::runCheckersForRegionChanges(ProgramStateRef state,
489 CheckerManager::runCheckersForPointerEscape(ProgramStateRef State,
510 CheckerManager::runCheckersForEvalAssume(ProgramStateRef state,
524 void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst,
571 void CheckerManager::runCheckersOnEndOfTranslationUnit(
579 void CheckerManager::runCheckersForPrintState(raw_ostream &Out,
591 void CheckerManager::_registerForDecl(CheckDeclFunc checkfn,
597 void CheckerManager::_registerForBody(CheckDeclFunc checkfn) {
605 void CheckerManager::_registerForPreStmt(CheckStmtFunc checkfn,
610 void CheckerManager::_registerForPostStmt(CheckStmtFunc checkfn,
616 void CheckerManager::_registerForPreObjCMessage(CheckObjCMessageFunc checkfn) {
619 void CheckerManager::_registerForPostObjCMessage(CheckObjCMessageFunc checkfn) {
623 void CheckerManager::_registerForPreCall(CheckCallFunc checkfn) {
626 void CheckerManager::_registerForPostCall(CheckCallFunc checkfn) {
630 void CheckerManager::_registerForLocation(CheckLocationFunc checkfn) {
634 void CheckerManager::_registerForBind(CheckBindFunc checkfn) {
638 void CheckerManager::_registerForEndAnalysis(CheckEndAnalysisFunc checkfn) {
642 void CheckerManager::_registerForEndFunction(CheckEndFunctionFunc checkfn) {
646 void CheckerManager::_registerForBranchCondition(
651 void CheckerManager::_registerForLiveSymbols(CheckLiveSymbolsFunc checkfn) {
655 void CheckerManager::_registerForDeadSymbols(CheckDeadSymbolsFunc checkfn) {
659 void CheckerManager::_registerForRegionChanges(CheckRegionChangesFunc checkfn,
665 void CheckerManager::_registerForPointerEscape(CheckPointerEscapeFunc checkfn){
669 void CheckerManager::_registerForConstPointerEscape(
674 void CheckerManager::_registerForEvalAssume(EvalAssumeFunc checkfn) {
678 void CheckerManager::_registerForEvalCall(EvalCallFunc checkfn) {
682 void CheckerManager::_registerForEndOfTranslationUnit(
691 const CheckerManager::CachedStmtCheckers &
692 CheckerManager::getCachedStmtCheckersFor(const Stmt *S, bool isPreVisit) {
710 CheckerManager::~CheckerManager() {