class AnalysisManager

Declaration

class AnalysisManager : public BugReporterData { /* full declaration omitted */ };

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:31

Inherits from: BugReporterData

Member Variables

private clang::AnalysisDeclContextManager AnaCtxMgr

private clang::ASTContext& Ctx

private clang::Preprocessor& PP

private const clang::LangOptions& LangOpts

private clang::ento::PathDiagnosticConsumers PathConsumers

private clang::ento::StoreManagerCreator CreateStoreMgr

private clang::ento::ConstraintManagerCreator CreateConstraintMgr

private clang::ento::CheckerManager* CheckerMgr

public clang::AnalyzerOptions& options

Method Overview

• public AnalysisManager(clang::ASTContext & ctx, clang::Preprocessor & PP, const clang::ento::PathDiagnosticConsumers & Consumers, clang::ento::StoreManagerCreator storemgr, clang::ento::ConstraintManagerCreator constraintmgr, clang::ento::CheckerManager * checkerMgr, clang::AnalyzerOptions & Options, clang::CodeInjector * injector = nullptr)
• public void ClearContexts()
• public void FlushDiagnostics()
• private virtual void anchor()
• public clang::ASTContext & getASTContext()
• public template <typename T>T * getAnalysis(const clang::Decl * D)
• public clang::AnalysisDeclContext * getAnalysisDeclContext(const clang::Decl * D)
• public clang::AnalysisDeclContextManager & getAnalysisDeclContextManager()
• public clang::AnalyzerOptions & getAnalyzerOptions()
• public clang::CFG * getCFG(const clang::Decl * D)
• public clang::ento::CheckerManager * getCheckerManager() const
• public clang::ento::ConstraintManagerCreator getConstraintManagerCreator()
• public const clang::LangOptions & getLangOpts() const
• public clang::ParentMap & getParentMap(const clang::Decl * D)
• public ArrayRef<clang::ento::PathDiagnosticConsumer *> getPathDiagnosticConsumers()
• public clang::Preprocessor & getPreprocessor()
• public clang::SourceManager & getSourceManager()
• public clang::ento::StoreManagerCreator getStoreManagerCreator()
• public static bool isInCodeFile(clang::SourceLocation SL, const clang::SourceManager & SM)
• public bool isInCodeFile(clang::SourceLocation SL)
• public bool shouldInlineCall() const
• public bool shouldVisualize() const
• public ~AnalysisManager()

Inherited from BugReporterData:

• public getASTContext
• public getAnalyzerOptions
• public getPathDiagnosticConsumers
• public getPreprocessor
• public getSourceManager

Methods

¶AnalysisManager(
    clang::ASTContext& ctx,
    clang::Preprocessor& PP,
    const clang::ento::PathDiagnosticConsumers&
        Consumers,
    clang::ento::StoreManagerCreator storemgr,
    clang::ento::ConstraintManagerCreator
        constraintmgr,
    clang::ento::CheckerManager* checkerMgr,
    clang::AnalyzerOptions& Options,
    clang::CodeInjector* injector = nullptr)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:49

Parameters

clang::ASTContext& ctx

clang::Preprocessor& PP

const clang::ento::PathDiagnosticConsumers& Consumers

clang::ento::StoreManagerCreator storemgr

clang::ento::ConstraintManagerCreator constraintmgr

clang::ento::CheckerManager* checkerMgr

clang::AnalyzerOptions& Options

clang::CodeInjector* injector = nullptr

¶void ClearContexts()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:58

¶void FlushDiagnostics()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:98

¶virtual void anchor()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:32

¶clang::ASTContext& getASTContext()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:82

¶template <typename T>
T* getAnalysis(const clang::Decl* D)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:113

Templates

T

Parameters

const clang::Decl* D

¶clang::AnalysisDeclContext*
getAnalysisDeclContext(const clang::Decl* D)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:121

Parameters

const clang::Decl* D

¶clang::AnalysisDeclContextManager&
getAnalysisDeclContextManager()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:62

¶clang::AnalyzerOptions& getAnalyzerOptions()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:72

¶clang::CFG* getCFG(const clang::Decl* D)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:108

Parameters

const clang::Decl* D

¶clang::ento::CheckerManager* getCheckerManager()
    const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:80

¶clang::ento::ConstraintManagerCreator
getConstraintManagerCreator()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:76

¶const clang::LangOptions& getLangOpts() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:90

¶clang::ParentMap& getParentMap(
    const clang::Decl* D)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:117

Parameters

const clang::Decl* D

¶ArrayRef<clang::ento::PathDiagnosticConsumer*>
getPathDiagnosticConsumers()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:94

¶clang::Preprocessor& getPreprocessor()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:66

¶clang::SourceManager& getSourceManager()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:86

¶clang::ento::StoreManagerCreator
getStoreManagerCreator()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:68

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

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:125

Parameters

clang::SourceLocation SL

const clang::SourceManager& SM

¶bool isInCodeFile(clang::SourceLocation SL)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:150

Parameters

clang::SourceLocation SL

¶bool shouldInlineCall() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:104

¶bool shouldVisualize() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:100

¶~AnalysisManager()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h:56