#include "clang/StaticAnalyzer/Core/CheckerManager.h"

Public Types
using	CheckerTag = const void *
using	CheckDeclFunc
using	HandlesDeclFunc = bool ()(const Decl D)
using	CheckStmtFunc = CheckerFn<void (const Stmt *, CheckerContext &)>
using	CheckObjCMessageFunc
using	CheckCallFunc
using	CheckLocationFunc
using	CheckBindFunc
using	CheckBlockEntranceFunc
using	CheckEndAnalysisFunc
using	CheckBeginFunctionFunc = CheckerFn<void (CheckerContext &)>
using	CheckEndFunctionFunc
using	CheckBranchConditionFunc
using	CheckNewAllocatorFunc
using	CheckDeadSymbolsFunc
using	CheckLiveSymbolsFunc = CheckerFn<void (ProgramStateRef,SymbolReaper &)>
using	CheckRegionChangesFunc
using	CheckPointerEscapeFunc
using	EvalAssumeFunc
using	EvalCallFunc = CheckerFn<bool (const CallEvent &, CheckerContext &)>
using	CheckEndOfTranslationUnit
using	HandlesStmtFunc = bool ()(const Stmt D)
using	EventTag = void *
using	CheckEventFunc = CheckerFn<void (const void *event)>

Public Member Functions
	CheckerManager (ASTContext &Context, AnalyzerOptions &AOptions, const Preprocessor &PP, ArrayRef< std::string > plugins, ArrayRef< std::function< void(CheckerRegistry &)> > checkerRegistrationFns)
	CheckerManager (ASTContext &Context, AnalyzerOptions &AOptions, const Preprocessor &PP)
	Constructs a CheckerManager that ignores all non TblGen-generated checkers.
	CheckerManager (AnalyzerOptions &AOptions, const LangOptions &LangOpts, DiagnosticsEngine &Diags, ArrayRef< std::string > plugins)
	Constructs a CheckerManager without requiring an AST.
	~CheckerManager ()
void	setCurrentCheckerName (CheckerNameRef name)
CheckerNameRef	getCurrentCheckerName () const
bool	hasPathSensitiveCheckers () const
const LangOptions &	getLangOpts () const
const AnalyzerOptions &	getAnalyzerOptions () const
const Preprocessor &	getPreprocessor () const
const CheckerRegistryData &	getCheckerRegistryData () const
DiagnosticsEngine &	getDiagnostics () const
ASTContext &	getASTContext () const
void	reportInvalidCheckerOptionValue (const CheckerFrontend *Checker, StringRef OptionName, StringRef ExpectedValueDesc) const
	Emits an error through a DiagnosticsEngine about an invalid user supplied checker option value.
template<typename CHECKER, typename... AT>
CHECKER *	getChecker (AT &&...Args)
	If the the singleton instance of a checker class is not yet constructed, then construct it (with the supplied arguments), register it for the callbacks that are supported by it, and return it.
template<typename CHECKER, typename... AT>
CHECKER *	registerChecker (AT &&...Args)
	Register a single-part checker (derived from Checker): construct its singleton instance, register it for the supported callbacks and record its name (with CheckerFrontend::enable).
template<typename CHECKER>
bool	isRegisteredChecker ()
void	runCheckersOnASTDecl (const Decl *D, AnalysisManager &mgr, BugReporter &BR)
	Run checkers handling Decls.
void	runCheckersOnASTBody (const Decl *D, AnalysisManager &mgr, BugReporter &BR)
	Run checkers handling Decls containing a Stmt body.
void	runCheckersForPreStmt (ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng)
	Run checkers for pre-visiting Stmts.
void	runCheckersForPostStmt (ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool wasInlined=false)
	Run checkers for post-visiting Stmts.
void	runCheckersForStmt (bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool wasInlined=false)
	Run checkers for visiting Stmts.
void	runCheckersForPreObjCMessage (ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng)
	Run checkers for pre-visiting obj-c messages.
void	runCheckersForPostObjCMessage (ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool wasInlined=false)
	Run checkers for post-visiting obj-c messages.
void	runCheckersForObjCMessageNil (ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng)
	Run checkers for visiting an obj-c message to nil.
void	runCheckersForObjCMessage (ObjCMessageVisitKind visitKind, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool wasInlined=false)
	Run checkers for visiting obj-c messages.
void	runCheckersForPreCall (ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng)
	Run checkers for pre-visiting obj-c messages.
void	runCheckersForPostCall (ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool wasInlined=false)
	Run checkers for post-visiting obj-c messages.
void	runCheckersForCallEvent (bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool wasInlined=false)
	Run checkers for visiting obj-c messages.
void	runCheckersForLocation (ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, bool isLoad, const Stmt NodeEx, const Stmt BoundEx, ExprEngine &Eng)
	Run checkers for load/store of a location.
void	runCheckersForBind (ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, SVal val, const Stmt *S, bool AtDeclInit, ExprEngine &Eng, const ProgramPoint &PP)
	Run checkers for binding of a value to a location.
void	runCheckersForBlockEntrance (ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const BlockEntrance &Entrance, ExprEngine &Eng) const
	Run checkers after taking a control flow edge.
void	runCheckersForEndAnalysis (ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng)
	Run checkers for end of analysis.
void	runCheckersForBeginFunction (ExplodedNodeSet &Dst, const BlockEdge &L, ExplodedNode *Pred, ExprEngine &Eng)
	Run checkers on beginning of function.
void	runCheckersForEndFunction (NodeBuilderContext &BC, ExplodedNodeSet &Dst, ExplodedNode Pred, ExprEngine &Eng, const ReturnStmt RS)
	Run checkers on end of function.
void	runCheckersForBranchCondition (const Stmt condition, ExplodedNodeSet &Dst, ExplodedNode Pred, ExprEngine &Eng)
	Run checkers for branch condition.
void	runCheckersForNewAllocator (const CXXAllocatorCall &Call, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng, bool wasInlined=false)
	Run checkers between C++ operator new and constructor calls.
void	runCheckersForLiveSymbols (ProgramStateRef state, SymbolReaper &SymReaper)
	Run checkers for live symbols.
void	runCheckersForDeadSymbols (ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K)
	Run checkers for dead symbols.
ProgramStateRef	runCheckersForRegionChanges (ProgramStateRef state, const InvalidatedSymbols invalidated, ArrayRef< const MemRegion > ExplicitRegions, ArrayRef< const MemRegion * > Regions, const LocationContext LCtx, const CallEvent Call)
	Run checkers for region changes.
ProgramStateRef	runCheckersForPointerEscape (ProgramStateRef State, const InvalidatedSymbols &Escaped, const CallEvent Call, PointerEscapeKind Kind, RegionAndSymbolInvalidationTraits ITraits)
	Run checkers when pointers escape.
ProgramStateRef	runCheckersForEvalAssume (ProgramStateRef state, SVal Cond, bool Assumption)
	Run checkers for handling assumptions on symbolic values.
void	runCheckersForEvalCall (ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &CE, ExprEngine &Eng, const EvalCallOptions &CallOpts)
	Run checkers for evaluating a call.
void	runCheckersOnEndOfTranslationUnit (const TranslationUnitDecl *TU, AnalysisManager &mgr, BugReporter &BR)
	Run checkers for the entire Translation Unit.
void	runCheckersForPrintStateJson (raw_ostream &Out, ProgramStateRef State, const char *NL="\n", unsigned int Space=0, bool IsDot=false) const
	Run checkers for debug-printing a ProgramState.
void	_registerForDecl (CheckDeclFunc checkfn, HandlesDeclFunc isForDeclFn)
void	_registerForBody (CheckDeclFunc checkfn)
void	_registerForPreStmt (CheckStmtFunc checkfn, HandlesStmtFunc isForStmtFn)
void	_registerForPostStmt (CheckStmtFunc checkfn, HandlesStmtFunc isForStmtFn)
void	_registerForPreObjCMessage (CheckObjCMessageFunc checkfn)
void	_registerForPostObjCMessage (CheckObjCMessageFunc checkfn)
void	_registerForObjCMessageNil (CheckObjCMessageFunc checkfn)
void	_registerForPreCall (CheckCallFunc checkfn)
void	_registerForPostCall (CheckCallFunc checkfn)
void	_registerForLocation (CheckLocationFunc checkfn)
void	_registerForBind (CheckBindFunc checkfn)
void	_registerForBlockEntrance (CheckBlockEntranceFunc checkfn)
void	_registerForEndAnalysis (CheckEndAnalysisFunc checkfn)
void	_registerForBeginFunction (CheckBeginFunctionFunc checkfn)
void	_registerForEndFunction (CheckEndFunctionFunc checkfn)
void	_registerForBranchCondition (CheckBranchConditionFunc checkfn)
void	_registerForNewAllocator (CheckNewAllocatorFunc checkfn)
void	_registerForLiveSymbols (CheckLiveSymbolsFunc checkfn)
void	_registerForDeadSymbols (CheckDeadSymbolsFunc checkfn)
void	_registerForRegionChanges (CheckRegionChangesFunc checkfn)
void	_registerForPointerEscape (CheckPointerEscapeFunc checkfn)
void	_registerForConstPointerEscape (CheckPointerEscapeFunc checkfn)
void	_registerForEvalAssume (EvalAssumeFunc checkfn)
void	_registerForEvalCall (EvalCallFunc checkfn)
void	_registerForEndOfTranslationUnit (CheckEndOfTranslationUnit checkfn)
template<typename EVENT>
void	_registerListenerForEvent (CheckEventFunc checkfn)
template<typename EVENT>
void	_registerDispatcherForEvent ()
template<typename EVENT>
void	_dispatchEvent (const EVENT &event) const

Detailed Description

Definition at line 126 of file CheckerManager.h.

Member Typedef Documentation

◆ CheckBeginFunctionFunc

using clang::ento::CheckerManager::CheckBeginFunctionFunc = CheckerFn<void (CheckerContext &)>

Definition at line 510 of file CheckerManager.h.

◆ CheckBindFunc

using clang::ento::CheckerManager::CheckBindFunc

Initial value:

CheckerFn<void(SVal location, SVal val, const Stmt *S,

bool AtDeclInit, CheckerContext &)>

clang::Stmt

Stmt - This represents one statement.

Definition Stmt.h:85

clang::ento::CheckerContext

Definition CheckerContext.h:24

clang::ento::CheckerFn

Definition CheckerManager.h:59

clang::ento::SVal

SVal - This represents a symbolic expression, which can be either an L-value or an R-value.

Definition SVals.h:56

Definition at line 501 of file CheckerManager.h.

◆ CheckBlockEntranceFunc

using clang::ento::CheckerManager::CheckBlockEntranceFunc

Initial value:

CheckerFn<void(const BlockEntrance &, CheckerContext &)>

clang::BlockEntrance

Definition ProgramPoint.h:225

Definition at line 504 of file CheckerManager.h.

◆ CheckBranchConditionFunc

using clang::ento::CheckerManager::CheckBranchConditionFunc

Initial value:

CheckerFn<void (const Stmt *, CheckerContext &)>

Definition at line 515 of file CheckerManager.h.

◆ CheckCallFunc

using clang::ento::CheckerManager::CheckCallFunc

Initial value:

CheckerFn<void (const CallEvent &, CheckerContext &)>

clang::ento::CallEvent

Represents an abstract call to a function or method along a particular path.

Definition CallEvent.h:153

Definition at line 495 of file CheckerManager.h.

◆ CheckDeadSymbolsFunc

using clang::ento::CheckerManager::CheckDeadSymbolsFunc

Initial value:

CheckerFn<void (SymbolReaper &, CheckerContext &)>

clang::ento::SymbolReaper

A class responsible for cleaning up unused symbols.

Definition SymbolManager.h:561

Definition at line 521 of file CheckerManager.h.

◆ CheckDeclFunc

using clang::ento::CheckerManager::CheckDeclFunc

Initial value:

CheckerFn<void (const Decl *, AnalysisManager&, BugReporter &)>

clang::Decl

Decl - This represents one declaration (or definition), e.g.

Definition DeclBase.h:86

clang::ento::AnalysisManager

Definition AnalysisManager.h:31

clang::ento::BugReporter

BugReporter is a utility class for generating PathDiagnostics for analysis.

Definition BugReporter.h:586

Definition at line 477 of file CheckerManager.h.

◆ CheckEndAnalysisFunc

using clang::ento::CheckerManager::CheckEndAnalysisFunc

Initial value:

CheckerFn<void (ExplodedGraph &, BugReporter &, ExprEngine &)>

clang::ento::ExplodedGraph

Definition ExplodedGraph.h:303

clang::ento::ExprEngine

Definition ExprEngine.h:124

Definition at line 507 of file CheckerManager.h.

◆ CheckEndFunctionFunc

using clang::ento::CheckerManager::CheckEndFunctionFunc

Initial value:

CheckerFn<void (const ReturnStmt *, CheckerContext &)>

clang::ReturnStmt

ReturnStmt - This represents a return, optionally of an expression: return; return 4;.

Definition Stmt.h:3160

Definition at line 512 of file CheckerManager.h.

◆ CheckEndOfTranslationUnit

using clang::ento::CheckerManager::CheckEndOfTranslationUnit

Initial value:

 
      CheckerFn<void (const TranslationUnitDecl *, AnalysisManager &,
                      BugReporter &)>

Definition at line 545 of file CheckerManager.h.

◆ CheckerTag

using clang::ento::CheckerManager::CheckerTag = const void *

Definition at line 188 of file CheckerManager.h.

◆ CheckEventFunc

using clang::ento::CheckerManager::CheckEventFunc = CheckerFn<void (const void *event)>

Definition at line 600 of file CheckerManager.h.

◆ CheckLiveSymbolsFunc

using clang::ento::CheckerManager::CheckLiveSymbolsFunc = CheckerFn<void (ProgramStateRef,SymbolReaper &)>

Definition at line 524 of file CheckerManager.h.

◆ CheckLocationFunc

using clang::ento::CheckerManager::CheckLocationFunc

Initial value:

CheckerFn<void(SVal location, bool isLoad,

const Stmt *S, CheckerContext &)>

Definition at line 498 of file CheckerManager.h.

◆ CheckNewAllocatorFunc

using clang::ento::CheckerManager::CheckNewAllocatorFunc

Initial value:

CheckerFn<void(const CXXAllocatorCall &Call, CheckerContext &)>

clang::ento::CXXAllocatorCall

Represents the memory allocation call in a C++ new-expression.

Definition CallEvent.h:1119

clang::OMPDeclareReductionInitKind::Call

@ Call

Definition DeclOpenMP.h:162

Definition at line 518 of file CheckerManager.h.

◆ CheckObjCMessageFunc

using clang::ento::CheckerManager::CheckObjCMessageFunc

Initial value:

CheckerFn<void (const ObjCMethodCall &, CheckerContext &)>

clang::ento::ObjCMethodCall

Represents any expression that calls an Objective-C method.

Definition CallEvent.h:1250

Definition at line 492 of file CheckerManager.h.

◆ CheckPointerEscapeFunc

using clang::ento::CheckerManager::CheckPointerEscapeFunc

Initial value:

 
      CheckerFn<ProgramStateRef (ProgramStateRef,
                                 const InvalidatedSymbols &Escaped,
                                 const CallEvent *Call, PointerEscapeKind Kind,
                                 RegionAndSymbolInvalidationTraits *ITraits)>

Definition at line 534 of file CheckerManager.h.

◆ CheckRegionChangesFunc

using clang::ento::CheckerManager::CheckRegionChangesFunc

Initial value:

 
      CheckerFn<ProgramStateRef (ProgramStateRef,
                                 const InvalidatedSymbols *symbols,
                                 ArrayRef<const MemRegion *> ExplicitRegions,
                                 ArrayRef<const MemRegion *> Regions,
                                 const LocationContext *LCtx,
                                 const CallEvent *Call)>

Definition at line 526 of file CheckerManager.h.

◆ CheckStmtFunc

using clang::ento::CheckerManager::CheckStmtFunc = CheckerFn<void (const Stmt *, CheckerContext &)>

Definition at line 490 of file CheckerManager.h.

◆ EvalAssumeFunc

using clang::ento::CheckerManager::EvalAssumeFunc

Initial value:

CheckerFn<ProgramStateRef(ProgramStateRef, SVal cond, bool assumption)>

Definition at line 540 of file CheckerManager.h.

◆ EvalCallFunc

using clang::ento::CheckerManager::EvalCallFunc = CheckerFn<bool (const CallEvent &, CheckerContext &)>

Definition at line 543 of file CheckerManager.h.

◆ EventTag

using clang::ento::CheckerManager::EventTag = void *

Definition at line 599 of file CheckerManager.h.

◆ HandlesDeclFunc

using clang::ento::CheckerManager::HandlesDeclFunc = bool (*)(const Decl *D)

Definition at line 480 of file CheckerManager.h.

◆ HandlesStmtFunc

using clang::ento::CheckerManager::HandlesStmtFunc = bool (*)(const Stmt *D)

Definition at line 549 of file CheckerManager.h.

Constructor & Destructor Documentation

◆ CheckerManager() [1/3]

clang::ento::CheckerManager::CheckerManager	(	ASTContext &	Context,
		AnalyzerOptions &	AOptions,
		const Preprocessor &	PP,
		ArrayRef< std::string >	plugins,
		ArrayRef< std::function< void(CheckerRegistry &)> >	checkerRegistrationFns )

Definition at line 23 of file CreateCheckerManager.cpp.

References std::function, getDiagnostics(), and getLangOpts().

Referenced by CheckerManager().

◆ CheckerManager() [2/3]

clang::ento::CheckerManager::CheckerManager	(	ASTContext &	Context,
		AnalyzerOptions &	AOptions,
		const Preprocessor &	PP )

inline

Constructs a CheckerManager that ignores all non TblGen-generated checkers.

Useful for unit testing, unless the checker infrastructure itself is tested.

Definition at line 150 of file CheckerManager.h.

References CheckerManager().

◆ CheckerManager() [3/3]

clang::ento::CheckerManager::CheckerManager	(	AnalyzerOptions &	AOptions,
		const LangOptions &	LangOpts,
		DiagnosticsEngine &	Diags,
		ArrayRef< std::string >	plugins )

Constructs a CheckerManager without requiring an AST.

No checker registration will take place. Only useful when one needs to print the help flags through CheckerRegistryData, and the AST is unavailable.

Definition at line 36 of file CreateCheckerManager.cpp.

References clang::ento::CheckerRegistry::initializeRegistry().

◆ ~CheckerManager()

clang::ento::CheckerManager::~CheckerManager ( )

default

Member Function Documentation

◆ _dispatchEvent()

template<typename EVENT>

void clang::ento::CheckerManager::_dispatchEvent ( const EVENT & event ) const

inline

Definition at line 615 of file CheckerManager.h.

◆ _registerDispatcherForEvent()

template<typename EVENT>

void clang::ento::CheckerManager::_registerDispatcherForEvent ( )

inline

Definition at line 609 of file CheckerManager.h.

Referenced by clang::ento::EventDispatcher< EVENT >::_register().

◆ _registerForBeginFunction()

void CheckerManager::_registerForBeginFunction ( CheckBeginFunctionFunc checkfn )

Definition at line 924 of file CheckerManager.cpp.

Referenced by clang::ento::check::BeginFunction::_register().

◆ _registerForBind()

void CheckerManager::_registerForBind ( CheckBindFunc checkfn )

Definition at line 912 of file CheckerManager.cpp.

Referenced by clang::ento::check::Bind::_register().

◆ _registerForBlockEntrance()

void CheckerManager::_registerForBlockEntrance ( CheckBlockEntranceFunc checkfn )

Definition at line 916 of file CheckerManager.cpp.

Referenced by clang::ento::check::BlockEntrance::_register().

◆ _registerForBody()

void CheckerManager::_registerForBody ( CheckDeclFunc checkfn )

Definition at line 869 of file CheckerManager.cpp.

Referenced by clang::ento::check::ASTCodeBody::_register().

◆ _registerForBranchCondition()

void CheckerManager::_registerForBranchCondition ( CheckBranchConditionFunc checkfn )

Definition at line 932 of file CheckerManager.cpp.

Referenced by clang::ento::check::BranchCondition::_register().

◆ _registerForConstPointerEscape()

void CheckerManager::_registerForConstPointerEscape ( CheckPointerEscapeFunc checkfn )

Definition at line 957 of file CheckerManager.cpp.

◆ _registerForDeadSymbols()

void CheckerManager::_registerForDeadSymbols ( CheckDeadSymbolsFunc checkfn )

Definition at line 945 of file CheckerManager.cpp.

Referenced by clang::ento::check::DeadSymbols::_register().

◆ _registerForDecl()

void CheckerManager::_registerForDecl	(	CheckDeclFunc	checkfn,
		HandlesDeclFunc	isForDeclFn )

Definition at line 863 of file CheckerManager.cpp.

Referenced by clang::ento::check::ASTDecl< DECL >::_register().

◆ _registerForEndAnalysis()

void CheckerManager::_registerForEndAnalysis ( CheckEndAnalysisFunc checkfn )

Definition at line 920 of file CheckerManager.cpp.

Referenced by clang::ento::check::EndAnalysis::_register().

◆ _registerForEndFunction()

void CheckerManager::_registerForEndFunction ( CheckEndFunctionFunc checkfn )

Definition at line 928 of file CheckerManager.cpp.

Referenced by clang::ento::check::EndFunction::_register().

◆ _registerForEndOfTranslationUnit()

void CheckerManager::_registerForEndOfTranslationUnit ( CheckEndOfTranslationUnit checkfn )

Definition at line 970 of file CheckerManager.cpp.

Referenced by clang::ento::check::EndOfTranslationUnit::_register().

◆ _registerForEvalAssume()

void CheckerManager::_registerForEvalAssume ( EvalAssumeFunc checkfn )

Definition at line 962 of file CheckerManager.cpp.

Referenced by clang::ento::eval::Assume::_register().

◆ _registerForEvalCall()

void CheckerManager::_registerForEvalCall ( EvalCallFunc checkfn )

Definition at line 966 of file CheckerManager.cpp.

Referenced by clang::ento::eval::Call::_register().

◆ _registerForLiveSymbols()

void CheckerManager::_registerForLiveSymbols ( CheckLiveSymbolsFunc checkfn )

Definition at line 941 of file CheckerManager.cpp.

Referenced by clang::ento::check::LiveSymbols::_register().

◆ _registerForLocation()

void CheckerManager::_registerForLocation ( CheckLocationFunc checkfn )

Definition at line 908 of file CheckerManager.cpp.

Referenced by clang::ento::check::Location::_register().

◆ _registerForNewAllocator()

void CheckerManager::_registerForNewAllocator ( CheckNewAllocatorFunc checkfn )

Definition at line 937 of file CheckerManager.cpp.

Referenced by clang::ento::check::NewAllocator::_register().

◆ _registerForObjCMessageNil()

void CheckerManager::_registerForObjCMessageNil ( CheckObjCMessageFunc checkfn )

Definition at line 893 of file CheckerManager.cpp.

Referenced by clang::ento::check::ObjCMessageNil::_register().

◆ _registerForPointerEscape()

void CheckerManager::_registerForPointerEscape ( CheckPointerEscapeFunc checkfn )

Definition at line 953 of file CheckerManager.cpp.

Referenced by clang::ento::check::ConstPointerEscape::_register(), and clang::ento::check::PointerEscape::_register().

◆ _registerForPostCall()

void CheckerManager::_registerForPostCall ( CheckCallFunc checkfn )

Definition at line 904 of file CheckerManager.cpp.

Referenced by clang::ento::check::PostCall::_register().

◆ _registerForPostObjCMessage()

void CheckerManager::_registerForPostObjCMessage ( CheckObjCMessageFunc checkfn )

Definition at line 897 of file CheckerManager.cpp.

Referenced by clang::ento::check::PostObjCMessage::_register().

◆ _registerForPostStmt()

void CheckerManager::_registerForPostStmt	(	CheckStmtFunc	checkfn,
		HandlesStmtFunc	isForStmtFn )

Definition at line 883 of file CheckerManager.cpp.

Referenced by clang::ento::check::PostStmt< STMT >::_register().

◆ _registerForPreCall()

void CheckerManager::_registerForPreCall ( CheckCallFunc checkfn )

Definition at line 901 of file CheckerManager.cpp.

Referenced by clang::ento::check::PreCall::_register().

◆ _registerForPreObjCMessage()

void CheckerManager::_registerForPreObjCMessage ( CheckObjCMessageFunc checkfn )

Definition at line 889 of file CheckerManager.cpp.

Referenced by clang::ento::check::PreObjCMessage::_register().

◆ _registerForPreStmt()

void CheckerManager::_registerForPreStmt	(	CheckStmtFunc	checkfn,
		HandlesStmtFunc	isForStmtFn )

Definition at line 877 of file CheckerManager.cpp.

Referenced by clang::ento::check::PreStmt< STMT >::_register().

◆ _registerForRegionChanges()

void CheckerManager::_registerForRegionChanges ( CheckRegionChangesFunc checkfn )

Definition at line 949 of file CheckerManager.cpp.

Referenced by clang::ento::check::RegionChanges::_register().

◆ _registerListenerForEvent()

template<typename EVENT>

void clang::ento::CheckerManager::_registerListenerForEvent ( CheckEventFunc checkfn )

inline

Definition at line 603 of file CheckerManager.h.

Referenced by clang::ento::check::Event< EVENT >::_register().

◆ getAnalyzerOptions()

const AnalyzerOptions & clang::ento::CheckerManager::getAnalyzerOptions ( ) const

inline

Definition at line 168 of file CheckerManager.h.

◆ getASTContext()

ASTContext & clang::ento::CheckerManager::getASTContext ( ) const

inline

Definition at line 177 of file CheckerManager.h.

◆ getChecker()

template<typename CHECKER, typename... AT>

CHECKER * clang::ento::CheckerManager::getChecker ( AT &&... Args )

inline

If the the singleton instance of a checker class is not yet constructed, then construct it (with the supplied arguments), register it for the callbacks that are supported by it, and return it.

Otherwise, just return a pointer to the existing instance.

Definition at line 199 of file CheckerManager.h.

References CHECKER.

Referenced by REGISTER_MAP_WITH_PROGRAMSTATE(), registerChecker(), and clang::ento::registerInnerPointerCheckerAux().

◆ getCheckerRegistryData()

const CheckerRegistryData & clang::ento::CheckerManager::getCheckerRegistryData ( ) const

inline

Definition at line 173 of file CheckerManager.h.

◆ getCurrentCheckerName()

CheckerNameRef clang::ento::CheckerManager::getCurrentCheckerName ( ) const

inline

Definition at line 163 of file CheckerManager.h.

Referenced by clang::ento::CheckerFrontend::enable().

◆ getDiagnostics()

DiagnosticsEngine & clang::ento::CheckerManager::getDiagnostics ( ) const

inline

Definition at line 176 of file CheckerManager.h.

Referenced by CheckerManager(), and reportInvalidCheckerOptionValue().

◆ getLangOpts()

const LangOptions & clang::ento::CheckerManager::getLangOpts ( ) const

inline

Definition at line 167 of file CheckerManager.h.

Referenced by CheckerManager().

◆ getPreprocessor()

const Preprocessor & clang::ento::CheckerManager::getPreprocessor ( ) const

inline

Definition at line 169 of file CheckerManager.h.

◆ hasPathSensitiveCheckers()

bool CheckerManager::hasPathSensitiveCheckers ( ) const

Definition at line 37 of file CheckerManager.cpp.

◆ isRegisteredChecker()

template<typename CHECKER>

bool clang::ento::CheckerManager::isRegisteredChecker ( )

inline

Definition at line 224 of file CheckerManager.h.

◆ registerChecker()

template<typename CHECKER, typename... AT>

CHECKER * clang::ento::CheckerManager::registerChecker ( AT &&... Args )

inline

Register a single-part checker (derived from Checker): construct its singleton instance, register it for the supported callbacks and record its name (with CheckerFrontend::enable).

Calling this multiple times triggers an assertion failure.

Definition at line 218 of file CheckerManager.h.

References CHECKER, and getChecker().

Referenced by clang::ento::registerCheckerDocumentationChecker().

◆ reportInvalidCheckerOptionValue()

void CheckerManager::reportInvalidCheckerOptionValue	(	const CheckerFrontend *	Checker,
		StringRef	OptionName,
		StringRef	ExpectedValueDesc ) const

Emits an error through a DiagnosticsEngine about an invalid user supplied checker option value.

Definition at line 51 of file CheckerManager.cpp.

References getDiagnostics(), clang::ento::CheckerFrontend::getName(), and clang::DiagnosticsEngine::Report().

Referenced by clang::ento::getConfiguration(), and REGISTER_MAP_WITH_PROGRAMSTATE().

◆ runCheckersForBeginFunction()

void CheckerManager::runCheckersForBeginFunction	(	ExplodedNodeSet &	Dst,
		const BlockEdge &	L,
		ExplodedNode *	Pred,
		ExprEngine &	Eng )

Run checkers on beginning of function.

Definition at line 494 of file CheckerManager.cpp.

References clang::C, expandGraphWithCheckers(), and clang::ento::ExplodedNodeSet::insert().

Referenced by clang::ento::ExprEngine::processBeginOfFunction().

◆ runCheckersForBind()

void CheckerManager::runCheckersForBind	(	ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		SVal	location,
		SVal	val,
		const Stmt *	S,
		bool	AtDeclInit,
		ExprEngine &	Eng,
		const ProgramPoint &	PP )

Run checkers for binding of a value to a location.

Definition at line 411 of file CheckerManager.cpp.

References clang::C, and expandGraphWithCheckers().

◆ runCheckersForBlockEntrance()

void CheckerManager::runCheckersForBlockEntrance	(	ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		const BlockEntrance &	Entrance,
		ExprEngine &	Eng ) const

Run checkers after taking a control flow edge.

Definition at line 450 of file CheckerManager.cpp.

References clang::C, and expandGraphWithCheckers().

Referenced by clang::ento::ExprEngine::runCheckersForBlockEntrance().

◆ runCheckersForBranchCondition()

void CheckerManager::runCheckersForBranchCondition	(	const Stmt *	condition,
		ExplodedNodeSet &	Dst,
		ExplodedNode *	Pred,
		ExprEngine &	Eng )

Run checkers for branch condition.

Definition at line 556 of file CheckerManager.cpp.

References clang::C, clang::Condition, expandGraphWithCheckers(), and clang::ento::ExplodedNodeSet::insert().

Referenced by clang::ento::ExprEngine::processBranch().

◆ runCheckersForCallEvent()

void CheckerManager::runCheckersForCallEvent	(	bool	isPreVisit,
		ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		const CallEvent &	Call,
		ExprEngine &	Eng,
		bool	wasInlined = false )

Run checkers for visiting obj-c messages.

Run checkers for visiting an abstract call event.

Definition at line 298 of file CheckerManager.cpp.

References clang::C, clang::Call, and expandGraphWithCheckers().

Referenced by runCheckersForPostCall(), and runCheckersForPreCall().

◆ runCheckersForDeadSymbols()

void CheckerManager::runCheckersForDeadSymbols	(	ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		SymbolReaper &	SymReaper,
		const Stmt *	S,
		ExprEngine &	Eng,
		ProgramPoint::Kind	K )

Run checkers for dead symbols.

Notifies checkers when symbols become dead. For example, this allows checkers to aggressively clean up/reduce the checker state and produce precise diagnostics.

Definition at line 656 of file CheckerManager.cpp.

References clang::C, and expandGraphWithCheckers().

Referenced by clang::ento::ExprEngine::removeDead().

◆ runCheckersForEndAnalysis()

void CheckerManager::runCheckersForEndAnalysis	(	ExplodedGraph &	G,
		BugReporter &	BR,
		ExprEngine &	Eng )

Run checkers for end of analysis.

Definition at line 459 of file CheckerManager.cpp.

Referenced by clang::ento::ExprEngine::processEndWorklist().

◆ runCheckersForEndFunction()

void CheckerManager::runCheckersForEndFunction	(	NodeBuilderContext &	BC,
		ExplodedNodeSet &	Dst,
		ExplodedNode *	Pred,
		ExprEngine &	Eng,
		const ReturnStmt *	RS )

Run checkers on end of function.

Run checkers for end of path.

Definition at line 508 of file CheckerManager.cpp.

References clang::C, and clang::ento::ExplodedNode::getLocationContext().

Referenced by clang::ento::ExprEngine::processEndOfFunction().

◆ runCheckersForEvalAssume()

ProgramStateRef CheckerManager::runCheckersForEvalAssume	(	ProgramStateRef	state,
		SVal	Cond,
		bool	Assumption )

Run checkers for handling assumptions on symbolic values.

Definition at line 709 of file CheckerManager.cpp.

References clang::Cond.

Referenced by clang::ento::ExprEngine::processAssume().

◆ runCheckersForEvalCall()

void CheckerManager::runCheckersForEvalCall	(	ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		const CallEvent &	Call,
		ExprEngine &	Eng,
		const EvalCallOptions &	CallOpts )

Run checkers for evaluating a call.

Warning: Currently, the CallEvent MUST come from a CallExpr!

Only one checker will evaluate the call.

Definition at line 723 of file CheckerManager.cpp.

References clang::C, clang::Call, clang::ento::ExprEngine::defaultEvalCall(), clang::ento::ExprEngine::getBuilderContext(), clang::ento::ExplodedNode::getLocationContext(), clang::ProgramPoint::getProgramPoint(), clang::ento::ExplodedNodeSet::insert(), clang::ento::OS, clang::ProgramPoint::PostStmtKind, and toString().

Referenced by clang::ento::ExprEngine::evalCall().

◆ runCheckersForLiveSymbols()

void CheckerManager::runCheckersForLiveSymbols	(	ProgramStateRef	state,
		SymbolReaper &	SymReaper )

Run checkers for live symbols.

Allows modifying SymbolReaper object. For example, checkers can explicitly register symbols of interest as live. These symbols will not be marked dead and removed.

Definition at line 613 of file CheckerManager.cpp.

Referenced by clang::ento::ExprEngine::removeDead().

◆ runCheckersForLocation()

void CheckerManager::runCheckersForLocation	(	ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		SVal	location,
		bool	isLoad,
		const Stmt *	NodeEx,
		const Stmt *	BoundEx,
		ExprEngine &	Eng )

Run checkers for load/store of a location.

Definition at line 354 of file CheckerManager.cpp.

References clang::C, and expandGraphWithCheckers().

◆ runCheckersForNewAllocator()

void CheckerManager::runCheckersForNewAllocator	(	const CXXAllocatorCall &	Call,
		ExplodedNodeSet &	Dst,
		ExplodedNode *	Pred,
		ExprEngine &	Eng,
		bool	wasInlined = false )

Run checkers between C++ operator new and constructor calls.

Definition at line 600 of file CheckerManager.cpp.

References clang::C, clang::Call, expandGraphWithCheckers(), and clang::ento::ExplodedNodeSet::insert().

Referenced by clang::ento::ExprEngine::processCallExit(), and clang::ento::ExprEngine::VisitCXXNewAllocatorCall().

◆ runCheckersForObjCMessage()

void CheckerManager::runCheckersForObjCMessage	(	ObjCMessageVisitKind	visitKind,
		ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		const ObjCMethodCall &	msg,
		ExprEngine &	Eng,
		bool	wasInlined = false )

Run checkers for visiting obj-c messages.

Definition at line 238 of file CheckerManager.cpp.

References clang::C, and expandGraphWithCheckers().

Referenced by runCheckersForObjCMessageNil(), runCheckersForPostObjCMessage(), and runCheckersForPreObjCMessage().

◆ runCheckersForObjCMessageNil()

void clang::ento::CheckerManager::runCheckersForObjCMessageNil	(	ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		const ObjCMethodCall &	msg,
		ExprEngine &	Eng )

inline

Run checkers for visiting an obj-c message to nil.

Definition at line 296 of file CheckerManager.h.

References clang::ento::MessageNil, and runCheckersForObjCMessage().

Referenced by clang::ento::ExprEngine::VisitObjCMessage().

◆ runCheckersForPointerEscape()

ProgramStateRef CheckerManager::runCheckersForPointerEscape	(	ProgramStateRef	State,
		const InvalidatedSymbols &	Escaped,
		const CallEvent *	Call,
		PointerEscapeKind	Kind,
		RegionAndSymbolInvalidationTraits *	ITraits )

Run checkers when pointers escape.

Run checkers to process symbol escape event.

This notifies the checkers about pointer escape, which occurs whenever the analyzer cannot track the symbol any more. For example, as a result of assigning a pointer into a global or when it's passed to a function call the analyzer cannot model.

Parameters

State	The state at the point of escape.
Escaped	The list of escaped symbols.
Call	The corresponding CallEvent, if the symbols escape as parameters to the given call.
Kind	The reason of pointer escape.
ITraits	Information about invalidation for a particular region/symbol.

Returns: Checkers can modify the state by returning a new one.

Definition at line 688 of file CheckerManager.cpp.

References clang::Call, clang::ento::PSK_DirectEscapeOnCall, and clang::ento::PSK_IndirectEscapeOnCall.

Referenced by clang::ento::ExprEngine::escapeValues(), and clang::ento::ExprEngine::notifyCheckersOfPointerEscape().

◆ runCheckersForPostCall()

void clang::ento::CheckerManager::runCheckersForPostCall	(	ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		const CallEvent &	Call,
		ExprEngine &	Eng,
		bool	wasInlined = false )

inline

Run checkers for post-visiting obj-c messages.

Definition at line 318 of file CheckerManager.h.

References clang::Call, and runCheckersForCallEvent().

Referenced by clang::ento::ExprEngine::evalCall(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::VisitCXXDeleteExpr(), clang::ento::ExprEngine::VisitCXXDestructor(), clang::ento::ExprEngine::VisitCXXNewAllocatorCall(), and clang::ento::ExprEngine::VisitObjCMessage().

◆ runCheckersForPostObjCMessage()

void clang::ento::CheckerManager::runCheckersForPostObjCMessage	(	ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		const ObjCMethodCall &	msg,
		ExprEngine &	Eng,
		bool	wasInlined = false )

inline

Run checkers for post-visiting obj-c messages.

Definition at line 286 of file CheckerManager.h.

References clang::ento::Post, and runCheckersForObjCMessage().

Referenced by clang::ento::ExprEngine::processCallExit(), and clang::ento::ExprEngine::VisitObjCMessage().

◆ runCheckersForPostStmt()

void clang::ento::CheckerManager::runCheckersForPostStmt	(	ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		const Stmt *	S,
		ExprEngine &	Eng,
		bool	wasInlined = false )

inline

Run checkers for post-visiting Stmts.

The notification is performed for every explored CFGElement, which does not include the control flow statements such as IfStmt.

See also: runCheckersForBranchCondition, runCheckersForPreStmt

Definition at line 263 of file CheckerManager.h.

References runCheckersForStmt().

◆ runCheckersForPreCall()

void clang::ento::CheckerManager::runCheckersForPreCall	(	ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		const CallEvent &	Call,
		ExprEngine &	Eng )

inline

Run checkers for pre-visiting obj-c messages.

Definition at line 312 of file CheckerManager.h.

References clang::Call, and runCheckersForCallEvent().

Referenced by clang::ento::ExprEngine::evalCall(), clang::ento::ExprEngine::VisitCXXDeleteExpr(), clang::ento::ExprEngine::VisitCXXDestructor(), clang::ento::ExprEngine::VisitCXXNewAllocatorCall(), and clang::ento::ExprEngine::VisitObjCMessage().

◆ runCheckersForPreObjCMessage()

void clang::ento::CheckerManager::runCheckersForPreObjCMessage	(	ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		const ObjCMethodCall &	msg,
		ExprEngine &	Eng )

inline

Run checkers for pre-visiting obj-c messages.

Definition at line 278 of file CheckerManager.h.

References clang::ento::Pre, and runCheckersForObjCMessage().

Referenced by clang::ento::ExprEngine::VisitObjCMessage().

◆ runCheckersForPreStmt()

void clang::ento::CheckerManager::runCheckersForPreStmt	(	ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		const Stmt *	S,
		ExprEngine &	Eng )

inline

Run checkers for pre-visiting Stmts.

The notification is performed for every explored CFGElement, which does not include the control flow statements such as IfStmt.

See also: runCheckersForBranchCondition, runCheckersForPostStmt

Definition at line 250 of file CheckerManager.h.

References runCheckersForStmt().

◆ runCheckersForPrintStateJson()

void CheckerManager::runCheckersForPrintStateJson	(	raw_ostream &	Out,
		ProgramStateRef	State,
		const char *	NL = "\n",
		unsigned int	Space = 0,
		bool	IsDot = false ) const

Run checkers for debug-printing a ProgramState.

Unlike most other callbacks, any checker can simply implement the virtual method CheckerBackend::printState if it has custom data to print.

Parameters

Out	The output stream
State	The state being printed
NL	The preferred representation of a newline.
Space	The preferred space between the left side and the message.
IsDot	Whether the message will be printed in 'dot' format.

Definition at line 791 of file CheckerManager.cpp.

References clang::Indent().

Referenced by clang::ento::ExprEngine::printJson().

◆ runCheckersForRegionChanges()

ProgramStateRef CheckerManager::runCheckersForRegionChanges	(	ProgramStateRef	state,
		const InvalidatedSymbols *	invalidated,
		ArrayRef< const MemRegion * >	ExplicitRegions,
		ArrayRef< const MemRegion * >	Regions,
		const LocationContext *	LCtx,
		const CallEvent *	Call )

Run checkers for region changes.

This corresponds to the check::RegionChanges callback.

Parameters

state	The current program state.
invalidated	A set of all symbols potentially touched by the change.
ExplicitRegions	The regions explicitly requested for invalidation. For example, in the case of a function call, these would be arguments.
Regions	The transitive closure of accessible regions, i.e. all regions that may have been touched by this change.
Call	The call expression wrapper if the regions are invalidated by a call.

Definition at line 669 of file CheckerManager.cpp.

References clang::Call.

Referenced by clang::ento::ExprEngine::processRegionChanges().

◆ runCheckersForStmt()

void CheckerManager::runCheckersForStmt	(	bool	isPreVisit,
		ExplodedNodeSet &	Dst,
		const ExplodedNodeSet &	Src,
		const Stmt *	S,
		ExprEngine &	Eng,
		bool	wasInlined = false )

Run checkers for visiting Stmts.

Definition at line 177 of file CheckerManager.cpp.

References clang::C, and expandGraphWithCheckers().

Referenced by runCheckersForPostStmt(), and runCheckersForPreStmt().

◆ runCheckersOnASTBody()

void CheckerManager::runCheckersOnASTBody	(	const Decl *	D,
		AnalysisManager &	mgr,
		BugReporter &	BR )

Run checkers handling Decls containing a Stmt body.

Definition at line 83 of file CheckerManager.cpp.

References clang::Decl::hasBody().

◆ runCheckersOnASTDecl()

void CheckerManager::runCheckersOnASTDecl	(	const Decl *	D,
		AnalysisManager &	mgr,
		BugReporter &	BR )

Run checkers handling Decls.

Definition at line 64 of file CheckerManager.cpp.

References clang::Decl::getKind().

◆ runCheckersOnEndOfTranslationUnit()

void CheckerManager::runCheckersOnEndOfTranslationUnit	(	const TranslationUnitDecl *	TU,
		AnalysisManager &	mgr,
		BugReporter &	BR )

Run checkers for the entire Translation Unit.

Definition at line 783 of file CheckerManager.cpp.

◆ setCurrentCheckerName()

void clang::ento::CheckerManager::setCurrentCheckerName ( CheckerNameRef name )

inline

Definition at line 162 of file CheckerManager.h.

Referenced by clang::ento::CheckerRegistry::initializeManager().

The documentation for this class was generated from the following files:

include/clang/StaticAnalyzer/Core/CheckerManager.h
lib/StaticAnalyzer/Core/CheckerManager.cpp
lib/StaticAnalyzer/Frontend/CreateCheckerManager.cpp

Public Types

Public Member Functions

Detailed Description

Member Typedef Documentation

◆ CheckBeginFunctionFunc

◆ CheckBindFunc

◆ CheckBlockEntranceFunc

◆ CheckBranchConditionFunc

◆ CheckCallFunc

◆ CheckDeadSymbolsFunc

◆ CheckDeclFunc

◆ CheckEndAnalysisFunc

◆ CheckEndFunctionFunc

◆ CheckEndOfTranslationUnit

◆ CheckerTag

◆ CheckEventFunc

◆ CheckLiveSymbolsFunc

◆ CheckLocationFunc

◆ CheckNewAllocatorFunc

◆ CheckObjCMessageFunc

◆ CheckPointerEscapeFunc

◆ CheckRegionChangesFunc

◆ CheckStmtFunc

◆ EvalAssumeFunc

◆ EvalCallFunc

◆ EventTag

◆ HandlesDeclFunc

◆ HandlesStmtFunc

Constructor & Destructor Documentation

◆ CheckerManager() [1/3]

◆ CheckerManager() [2/3]

◆ CheckerManager() [3/3]

◆ ~CheckerManager()

Member Function Documentation

◆ _dispatchEvent()

◆ _registerDispatcherForEvent()

◆ _registerForBeginFunction()

◆ _registerForBind()

◆ _registerForBlockEntrance()

◆ _registerForBody()

◆ _registerForBranchCondition()

◆ _registerForConstPointerEscape()

◆ _registerForDeadSymbols()

◆ _registerForDecl()

◆ _registerForEndAnalysis()

◆ _registerForEndFunction()

◆ _registerForEndOfTranslationUnit()

◆ _registerForEvalAssume()

◆ _registerForEvalCall()

◆ _registerForLiveSymbols()

◆ _registerForLocation()

◆ _registerForNewAllocator()

◆ _registerForObjCMessageNil()

◆ _registerForPointerEscape()

◆ _registerForPostCall()

◆ _registerForPostObjCMessage()

◆ _registerForPostStmt()

◆ _registerForPreCall()

◆ _registerForPreObjCMessage()

◆ _registerForPreStmt()

◆ _registerForRegionChanges()

◆ _registerListenerForEvent()

◆ getAnalyzerOptions()

◆ getASTContext()

◆ getChecker()

◆ getCheckerRegistryData()

◆ getCurrentCheckerName()

◆ getDiagnostics()

◆ getLangOpts()

◆ getPreprocessor()

◆ hasPathSensitiveCheckers()

◆ isRegisteredChecker()

◆ registerChecker()

◆ reportInvalidCheckerOptionValue()

◆ runCheckersForBeginFunction()

◆ runCheckersForBind()

◆ runCheckersForBlockEntrance()

◆ runCheckersForBranchCondition()

◆ runCheckersForCallEvent()

◆ runCheckersForDeadSymbols()