clang::ento::AnalysisManager Class Reference

#include <AnalysisManager.h>

Inheritance diagram for clang::ento::AnalysisManager:

Collaboration diagram for clang::ento::AnalysisManager:

List of all members.

Public Member Functions
	AnalysisManager (ASTContext &ctx, DiagnosticsEngine &diags, const LangOptions &lang, const PathDiagnosticConsumers &Consumers, StoreManagerCreator storemgr, ConstraintManagerCreator constraintmgr, CheckerManager *checkerMgr, AnalyzerOptions &Options, CodeInjector *injector=nullptr)
	~AnalysisManager ()
void	ClearContexts ()
AnalysisDeclContextManager &	getAnalysisDeclContextManager ()
StoreManagerCreator	getStoreManagerCreator ()
AnalyzerOptions &	getAnalyzerOptions () override
ConstraintManagerCreator	getConstraintManagerCreator ()
CheckerManager *	getCheckerManager () const
ASTContext &	getASTContext () override
SourceManager &	getSourceManager () override
DiagnosticsEngine &	getDiagnostic () override
const LangOptions &	getLangOpts () const
ArrayRef < PathDiagnosticConsumer * >	getPathDiagnosticConsumers () override
void	FlushDiagnostics ()
bool	shouldVisualize () const
bool	shouldInlineCall () const
CFG *	getCFG (Decl const *D)
template<typename T >
T *	getAnalysis (Decl const *D)
ParentMap &	getParentMap (Decl const *D)
AnalysisDeclContext *	getAnalysisDeclContext (const Decl *D)
Public Attributes
AnalyzerOptions &	options

---

Detailed Description

Definition at line 31 of file AnalysisManager.h.

---

Constructor & Destructor Documentation

AnalysisManager::AnalysisManager	(	ASTContext &	ctx,
		DiagnosticsEngine &	diags,
		const LangOptions &	lang,
		const PathDiagnosticConsumers &	Consumers,
		StoreManagerCreator	storemgr,
		ConstraintManagerCreator	constraintmgr,
		CheckerManager *	checkerMgr,
		AnalyzerOptions &	Options,
		CodeInjector *	injector = nullptr
	)

Definition at line 17 of file AnalysisManager.cpp.

References clang::AnalysisDeclContextManager::getCFGBuildOptions(), and clang::CFG::BuildOptions::setAllAlwaysAdd().

AnalysisManager::~AnalysisManager

(

)

Definition at line 43 of file AnalysisManager.cpp.

References FlushDiagnostics().

---

Member Function Documentation

void clang::ento::AnalysisManager::ClearContexts

(

)

[inline]

Definition at line 60 of file AnalysisManager.h.

References clang::AnalysisDeclContextManager::clear().

void AnalysisManager::FlushDiagnostics

(

)

Definition at line 51 of file AnalysisManager.cpp.

Referenced by ~AnalysisManager().

template<typename T >

T* clang::ento::AnalysisManager::getAnalysis

(

Decl const *

D

)

[inline]

Definition at line 118 of file AnalysisManager.h.

References clang::AnalysisDeclContext::getAnalysis(), and clang::AnalysisDeclContextManager::getContext().

AnalysisDeclContext* clang::ento::AnalysisManager::getAnalysisDeclContext

(

const Decl *

D

)

[inline]

Definition at line 126 of file AnalysisManager.h.

References clang::AnalysisDeclContextManager::getContext().

AnalysisDeclContextManager& clang::ento::AnalysisManager::getAnalysisDeclContextManager

(

)

[inline]

Definition at line 64 of file AnalysisManager.h.

AnalyzerOptions& clang::ento::AnalysisManager::getAnalyzerOptions

(

)

[inline, override, virtual]

Implements clang::ento::BugReporterData.

Definition at line 72 of file AnalysisManager.h.

References options.

ASTContext& clang::ento::AnalysisManager::getASTContext

(

)

[inline, override, virtual]

Implements clang::ento::BugReporterData.

Definition at line 82 of file AnalysisManager.h.

Referenced by clang::ento::ExprEngine::getContext(), and getSourceManager().

CFG* clang::ento::AnalysisManager::getCFG

(

Decl const *

D

)

[inline]

Definition at line 113 of file AnalysisManager.h.

References clang::AnalysisDeclContext::getCFG(), and clang::AnalysisDeclContextManager::getContext().

CheckerManager* clang::ento::AnalysisManager::getCheckerManager

(

)

const [inline]

Definition at line 80 of file AnalysisManager.h.

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

ConstraintManagerCreator clang::ento::AnalysisManager::getConstraintManagerCreator

(

)

[inline]

Definition at line 76 of file AnalysisManager.h.

DiagnosticsEngine& clang::ento::AnalysisManager::getDiagnostic

(

)

[inline, override, virtual]

Implements clang::ento::BugReporterData.

Definition at line 90 of file AnalysisManager.h.

const LangOptions& clang::ento::AnalysisManager::getLangOpts

(

)

const [inline]

Definition at line 94 of file AnalysisManager.h.

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

ParentMap& clang::ento::AnalysisManager::getParentMap

(

Decl const *

D

)

[inline]

Definition at line 122 of file AnalysisManager.h.

References clang::AnalysisDeclContextManager::getContext(), and clang::AnalysisDeclContext::getParentMap().

ArrayRef<PathDiagnosticConsumer*> clang::ento::AnalysisManager::getPathDiagnosticConsumers

(

)

[inline, override, virtual]

Implements clang::ento::BugReporterData.

Definition at line 98 of file AnalysisManager.h.

SourceManager& clang::ento::AnalysisManager::getSourceManager

(

)

[inline, override, virtual]

Implements clang::ento::BugReporterData.

Definition at line 86 of file AnalysisManager.h.

References getASTContext(), and clang::ASTContext::getSourceManager().

StoreManagerCreator clang::ento::AnalysisManager::getStoreManagerCreator

(

)

[inline]

Definition at line 68 of file AnalysisManager.h.

bool clang::ento::AnalysisManager::shouldInlineCall

(

)

const [inline]

Definition at line 109 of file AnalysisManager.h.

References clang::AnalyzerOptions::getIPAMode(), clang::IPAK_None, and options.

bool clang::ento::AnalysisManager::shouldVisualize

(

)

const [inline]

Definition at line 104 of file AnalysisManager.h.

References options, clang::AnalyzerOptions::visualizeExplodedGraphWithGraphViz, and clang::AnalyzerOptions::visualizeExplodedGraphWithUbiGraph.

---

Member Data Documentation

AnalyzerOptions& clang::ento::AnalysisManager::options

Definition at line 47 of file AnalysisManager.h.

Referenced by clang::ento::ExprEngine::defaultEvalCall(), getAnalyzerOptions(), clang::ento::LikelyFalsePositiveSuppressionBRVisitor::getEndPath(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::processCFGBlockEntrance(), clang::ento::ExprEngine::ProcessNewAllocator(), shouldInlineCall(), shouldRemoveDeadBindings(), shouldVisualize(), clang::ento::SuppressInlineDefensiveChecksVisitor::SuppressInlineDefensiveChecksVisitor(), and clang::ento::ExprEngine::Visit().

---

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

• AnalysisManager.h
• AnalysisManager.cpp