clang 22.0.0git
Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
clang::ento::AnalysisManager Class Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"

Inheritance diagram for clang::ento::AnalysisManager:
[legend]

Public Member Functions

 AnalysisManager (ASTContext &ctx, Preprocessor &PP, PathDiagnosticConsumers Consumers, StoreManagerCreator storemgr, ConstraintManagerCreator constraintmgr, CheckerManager *checkerMgr, AnalyzerOptions &Options, std::unique_ptr< CodeInjector > injector=nullptr)
 ~AnalysisManager () override
void ClearContexts ()
AnalysisDeclContextManager & getAnalysisDeclContextManager ()
Preprocessor & getPreprocessor () override
StoreManagerCreator getStoreManagerCreator ()
AnalyzerOptions & getAnalyzerOptions () override
ConstraintManagerCreator getConstraintManagerCreator ()
CheckerManager * getCheckerManager () const
ASTContext & getASTContext () override
SourceManager & getSourceManager () override
const LangOptions & getLangOpts () const
ArrayRef< std::unique_ptr< 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)
bool isInCodeFile (SourceLocation SL)
Public Member Functions inherited from clang::ento::BugReporterData
virtual ~BugReporterData ()=default

Static Public Member Functions

static bool isInCodeFile (SourceLocation SL, const SourceManager &SM)

Public Attributes

AnalyzerOptions & options

Detailed Description

Definition at line 31 of file AnalysisManager.h.

Constructor & Destructor Documentation

◆ AnalysisManager()

AnalysisManager::AnalysisManager ( ASTContext & ctx,
Preprocessor & PP,
PathDiagnosticConsumers Consumers,
StoreManagerCreator storemgr,
ConstraintManagerCreator constraintmgr,
CheckerManager * checkerMgr,
AnalyzerOptions & Options,
std::unique_ptr< CodeInjector > injector = nullptr )

Definition at line 16 of file AnalysisManager.cpp.

References getLangOpts(), options, and true.

◆ ~AnalysisManager()

AnalysisManager::~AnalysisManager ( )
override

Definition at line 47 of file AnalysisManager.cpp.

References FlushDiagnostics().

Member Function Documentation

◆ ClearContexts()

void clang::ento::AnalysisManager::ClearContexts ( )
inline

Definition at line 58 of file AnalysisManager.h.

◆ FlushDiagnostics()

void AnalysisManager::FlushDiagnostics ( )

Definition at line 51 of file AnalysisManager.cpp.

Referenced by ~AnalysisManager().

◆ getAnalysis()

template<typename T>
T * clang::ento::AnalysisManager::getAnalysis ( Decl const * D)
inline

Definition at line 114 of file AnalysisManager.h.

References clang::T.

◆ getAnalysisDeclContext()

AnalysisDeclContext * clang::ento::AnalysisManager::getAnalysisDeclContext ( const Decl * D)
inline

Definition at line 122 of file AnalysisManager.h.

Referenced by emitDiagnostics(), emitDiagnostics(), makeLocation(), and REGISTER_MAP_WITH_PROGRAMSTATE().

◆ getAnalysisDeclContextManager()

AnalysisDeclContextManager & clang::ento::AnalysisManager::getAnalysisDeclContextManager ( )
inline

Definition at line 62 of file AnalysisManager.h.

◆ getAnalyzerOptions()

AnalyzerOptions & clang::ento::AnalysisManager::getAnalyzerOptions ( )
inlineoverridevirtual

Implements clang::ento::BugReporterData.

Definition at line 72 of file AnalysisManager.h.

References options.

◆ getASTContext()

ASTContext & clang::ento::AnalysisManager::getASTContext ( )
inlineoverridevirtual

Implements clang::ento::BugReporterData.

Definition at line 82 of file AnalysisManager.h.

Referenced by checkTempObjectsInNoPool(), checkTempObjectsInSamePool(), getSourceManager(), isInCodeFile(), and makeLocation().

◆ getCFG()

CFG * clang::ento::AnalysisManager::getCFG ( Decl const * D)
inline

Definition at line 109 of file AnalysisManager.h.

◆ getCheckerManager()

CheckerManager * clang::ento::AnalysisManager::getCheckerManager ( ) const
inline

Definition at line 80 of file AnalysisManager.h.

◆ getConstraintManagerCreator()

ConstraintManagerCreator clang::ento::AnalysisManager::getConstraintManagerCreator ( )
inline

Definition at line 76 of file AnalysisManager.h.

◆ getLangOpts()

const LangOptions & clang::ento::AnalysisManager::getLangOpts ( ) const
inline

Definition at line 90 of file AnalysisManager.h.

Referenced by AnalysisManager().

◆ getParentMap()

ParentMap & clang::ento::AnalysisManager::getParentMap ( Decl const * D)
inline

Definition at line 118 of file AnalysisManager.h.

◆ getPathDiagnosticConsumers()

ArrayRef< std::unique_ptr< PathDiagnosticConsumer > > clang::ento::AnalysisManager::getPathDiagnosticConsumers ( )
inlineoverridevirtual

Implements clang::ento::BugReporterData.

Definition at line 95 of file AnalysisManager.h.

◆ getPreprocessor()

Preprocessor & clang::ento::AnalysisManager::getPreprocessor ( )
inlineoverridevirtual

Implements clang::ento::BugReporterData.

Definition at line 66 of file AnalysisManager.h.

◆ getSourceManager()

SourceManager & clang::ento::AnalysisManager::getSourceManager ( )
inlineoverridevirtual

Implements clang::ento::BugReporterData.

Definition at line 86 of file AnalysisManager.h.

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

◆ getStoreManagerCreator()

StoreManagerCreator clang::ento::AnalysisManager::getStoreManagerCreator ( )
inline

Definition at line 68 of file AnalysisManager.h.

◆ isInCodeFile() [1/2]

bool clang::ento::AnalysisManager::isInCodeFile ( SourceLocation SL)
inline

Definition at line 151 of file AnalysisManager.h.

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

◆ isInCodeFile() [2/2]

bool clang::ento::AnalysisManager::isInCodeFile ( SourceLocation SL,
const SourceManager & SM )
inlinestatic

Definition at line 126 of file AnalysisManager.h.

References clang::SourceLocation::isValid(), and SM.

Referenced by clang::ento::ObjCMethodCall::canBeOverridenInSubclass(), getFirstStackedCallToHeaderFile(), and isInCodeFile().

◆ shouldInlineCall()

bool clang::ento::AnalysisManager::shouldInlineCall ( ) const
inline

Definition at line 105 of file AnalysisManager.h.

References clang::IPAK_None, and options.

◆ shouldVisualize()

bool clang::ento::AnalysisManager::shouldVisualize ( ) const
inline

Definition at line 101 of file AnalysisManager.h.

References options.

Member Data Documentation

◆ options

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

Definition at line 47 of file AnalysisManager.h.

Referenced by AnalysisManager(), clang::ento::ExprEngine::defaultEvalCall(), clang::ento::ExprEngine::ExprEngine(), getAnalyzerOptions(), REGISTER_MAP_WITH_PROGRAMSTATE(), shouldInlineCall(), shouldRemoveDeadBindings(), and shouldVisualize().

The documentation for this class was generated from the following files:
Generated on for clang by doxygen 1.14.0