Lines Matching refs:CheckerManager
1 //===--- CheckerManager.cpp - Static Analyzer Checker Manager -------------===//
14 #include "clang/StaticAnalyzer/Core/CheckerManager.h"
24 bool CheckerManager::hasPathSensitiveCheckers() const {
41 void CheckerManager::finishedCheckerRegistration() {
55 void CheckerManager::runCheckersOnASTDecl(const Decl *D, AnalysisManager& mgr,
80 void CheckerManager::runCheckersOnASTBody(const Decl *D, AnalysisManager& mgr,
136 typedef SmallVectorImpl<CheckerManager::CheckStmtFunc> CheckersTy;
151 void runChecker(CheckerManager::CheckStmtFunc checkFn,
165 void CheckerManager::runCheckersForStmt(bool isPreVisit,
178 typedef std::vector<CheckerManager::CheckObjCMessageFunc> CheckersTy;
191 void runChecker(CheckerManager::CheckObjCMessageFunc checkFn,
207 void CheckerManager::runCheckersForObjCMessage(bool isPreVisit,
221 typedef std::vector<CheckerManager::CheckLocationFunc> CheckersTy;
239 void runChecker(CheckerManager::CheckLocationFunc checkFn,
255 void CheckerManager::runCheckersForLocation(ExplodedNodeSet &Dst,
268 typedef std::vector<CheckerManager::CheckBindFunc> CheckersTy;
284 void runChecker(CheckerManager::CheckBindFunc checkFn,
296 void CheckerManager::runCheckersForBind(ExplodedNodeSet &Dst,
305 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G,
315 void CheckerManager::runCheckersForEndPath(NodeBuilderContext &BC,
337 typedef std::vector<CheckerManager::CheckBranchConditionFunc> CheckersTy;
349 void runChecker(CheckerManager::CheckBranchConditionFunc checkFn,
360 void CheckerManager::runCheckersForBranchCondition(const Stmt *Condition,
371 void CheckerManager::runCheckersForLiveSymbols(ProgramStateRef state,
379 typedef std::vector<CheckerManager::CheckDeadSymbolsFunc> CheckersTy;
392 void runChecker(CheckerManager::CheckDeadSymbolsFunc checkFn,
405 void CheckerManager::runCheckersForDeadSymbols(ExplodedNodeSet &Dst,
415 bool CheckerManager::wantsRegionChangeUpdate(ProgramStateRef state) {
425 CheckerManager::runCheckersForRegionChanges(ProgramStateRef state,
443 CheckerManager::runCheckersForEvalAssume(ProgramStateRef state,
457 void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst,
541 void CheckerManager::runCheckersOnEndOfTranslationUnit(
549 void CheckerManager::runCheckersForPrintState(raw_ostream &Out,
561 void CheckerManager::_registerForDecl(CheckDeclFunc checkfn,
567 void CheckerManager::_registerForBody(CheckDeclFunc checkfn) {
575 void CheckerManager::_registerForPreStmt(CheckStmtFunc checkfn,
580 void CheckerManager::_registerForPostStmt(CheckStmtFunc checkfn,
586 void CheckerManager::_registerForPreObjCMessage(CheckObjCMessageFunc checkfn) {
589 void CheckerManager::_registerForPostObjCMessage(CheckObjCMessageFunc checkfn) {
593 void CheckerManager::_registerForLocation(CheckLocationFunc checkfn) {
597 void CheckerManager::_registerForBind(CheckBindFunc checkfn) {
601 void CheckerManager::_registerForEndAnalysis(CheckEndAnalysisFunc checkfn) {
605 void CheckerManager::_registerForEndPath(CheckEndPathFunc checkfn) {
609 void CheckerManager::_registerForBranchCondition(
614 void CheckerManager::_registerForLiveSymbols(CheckLiveSymbolsFunc checkfn) {
618 void CheckerManager::_registerForDeadSymbols(CheckDeadSymbolsFunc checkfn) {
622 void CheckerManager::_registerForRegionChanges(CheckRegionChangesFunc checkfn,
628 void CheckerManager::_registerForEvalAssume(EvalAssumeFunc checkfn) {
632 void CheckerManager::_registerForEvalCall(EvalCallFunc checkfn) {
636 void CheckerManager::_registerForInlineCall(InlineCallFunc checkfn) {
640 void CheckerManager::_registerForEndOfTranslationUnit(
649 CheckerManager::CachedStmtCheckers *
650 CheckerManager::getCachedStmtCheckersFor(const Stmt *S, bool isPreVisit) {
672 CheckerManager::~CheckerManager() {
