Cross Reference: /external/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp

Lines Matching defs:CheckerManager
1 //===--- CheckerManager.cpp - Static Analyzer Checker Manager -------------===//
14 #include "clang/StaticAnalyzer/Core/CheckerManager.h"
24 bool CheckerManager::hasPathSensitiveCheckers() const {
43 void CheckerManager::finishedCheckerRegistration() {
57 void CheckerManager::runCheckersOnASTDecl(const Decl *D, AnalysisManager& mgr,
82 void CheckerManager::runCheckersOnASTBody(const Decl *D, AnalysisManager& mgr,
138     typedef SmallVectorImpl<CheckerManager::CheckStmtFunc> CheckersTy;
153     void runChecker(CheckerManager::CheckStmtFunc checkFn,
167 void CheckerManager::runCheckersForStmt(bool isPreVisit,
180     typedef std::vector<CheckerManager::CheckObjCMessageFunc> CheckersTy;
195     void runChecker(CheckerManager::CheckObjCMessageFunc checkFn,
206 void CheckerManager::runCheckersForObjCMessage(bool isPreVisit,
223     typedef std::vector<CheckerManager::CheckCallFunc> CheckersTy;
238     void runChecker(CheckerManager::CheckCallFunc checkFn,
249 void CheckerManager::runCheckersForCallEvent(bool isPreVisit,
264     typedef std::vector<CheckerManager::CheckLocationFunc> CheckersTy;
282     void runChecker(CheckerManager::CheckLocationFunc checkFn,
298 void CheckerManager::runCheckersForLocation(ExplodedNodeSet &Dst,
311     typedef std::vector<CheckerManager::CheckBindFunc> CheckersTy;
327     void runChecker(CheckerManager::CheckBindFunc checkFn,
338 void CheckerManager::runCheckersForBind(ExplodedNodeSet &Dst,
347 void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G,
357 void CheckerManager::runCheckersForEndPath(NodeBuilderContext &BC,
379     typedef std::vector<CheckerManager::CheckBranchConditionFunc> CheckersTy;
391     void runChecker(CheckerManager::CheckBranchConditionFunc checkFn,
402 void CheckerManager::runCheckersForBranchCondition(const Stmt *Condition,
413 void CheckerManager::runCheckersForLiveSymbols(ProgramStateRef state,
421     typedef std::vector<CheckerManager::CheckDeadSymbolsFunc> CheckersTy;
436     void runChecker(CheckerManager::CheckDeadSymbolsFunc checkFn,
451 void CheckerManager::runCheckersForDeadSymbols(ExplodedNodeSet &Dst,
462 bool CheckerManager::wantsRegionChangeUpdate(ProgramStateRef state) {
472 CheckerManager::runCheckersForRegionChanges(ProgramStateRef state,
490 CheckerManager::runCheckersForEvalAssume(ProgramStateRef state,
504 void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst,
579 void CheckerManager::runCheckersOnEndOfTranslationUnit(
587 void CheckerManager::runCheckersForPrintState(raw_ostream &Out,
599 void CheckerManager::_registerForDecl(CheckDeclFunc checkfn,
605 void CheckerManager::_registerForBody(CheckDeclFunc checkfn) {
613 void CheckerManager::_registerForPreStmt(CheckStmtFunc checkfn,
618 void CheckerManager::_registerForPostStmt(CheckStmtFunc checkfn,
624 void CheckerManager::_registerForPreObjCMessage(CheckObjCMessageFunc checkfn) {
627 void CheckerManager::_registerForPostObjCMessage(CheckObjCMessageFunc checkfn) {
631 void CheckerManager::_registerForPreCall(CheckCallFunc checkfn) {
634 void CheckerManager::_registerForPostCall(CheckCallFunc checkfn) {
638 void CheckerManager::_registerForLocation(CheckLocationFunc checkfn) {
642 void CheckerManager::_registerForBind(CheckBindFunc checkfn) {
646 void CheckerManager::_registerForEndAnalysis(CheckEndAnalysisFunc checkfn) {
650 void CheckerManager::_registerForEndPath(CheckEndPathFunc checkfn) {
654 void CheckerManager::_registerForBranchCondition(
659 void CheckerManager::_registerForLiveSymbols(CheckLiveSymbolsFunc checkfn) {
663 void CheckerManager::_registerForDeadSymbols(CheckDeadSymbolsFunc checkfn) {
667 void CheckerManager::_registerForRegionChanges(CheckRegionChangesFunc checkfn,
673 void CheckerManager::_registerForEvalAssume(EvalAssumeFunc checkfn) {
677 void CheckerManager::_registerForEvalCall(EvalCallFunc checkfn) {
681 void CheckerManager::_registerForInlineCall(InlineCallFunc checkfn) {
685 void CheckerManager::_registerForEndOfTranslationUnit(
694 CheckerManager::CachedStmtCheckers *
695 CheckerManager::getCachedStmtCheckersFor(const Stmt *S, bool isPreVisit) {
717 CheckerManager::~CheckerManager() {