15 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_ANALYSISMANAGER_H
16 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_ANALYSISMANAGER_H
32 virtual void anchor();
69 return CreateStoreMgr;
77 return CreateConstraintMgr;
117 template <
typename T>
AnalysisDeclContextManager & getAnalysisDeclContextManager()
~AnalysisManager() override
unsigned visualizeExplodedGraphWithGraphViz
CheckerManager * getCheckerManager() const
Perform only intra-procedural analysis.
std::unique_ptr< ConstraintManager >(* ConstraintManagerCreator)(ProgramStateManager &, SubEngine *)
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
AnalysisDeclContext contains the context data for the function or method under analysis.
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
bool shouldInlineCall() const
T * getAnalysis()
Return the specified analysis object, lazily running the analysis if necessary.
Concrete class used by the front-end to report problems and issues.
ArrayRef< PathDiagnosticConsumer * > getPathDiagnosticConsumers() override
ASTContext & getASTContext() override
AnalysisDeclContext * getAnalysisDeclContext(const Decl *D)
StoreManagerCreator getStoreManagerCreator()
AnalysisDeclContext * getContext(const Decl *D)
IPAKind getIPAMode()
Returns the inter-procedural analysis mode.
CFG - Represents a source-level, intra-procedural CFG that represents the control-flow of a Stmt...
AnalyzerOptions & getAnalyzerOptions() override
ConstraintManagerCreator getConstraintManagerCreator()
CFG * getCFG(Decl const *D)
bool shouldVisualize() const
const MatchFinder::MatchFinderOptions & Options
std::vector< PathDiagnosticConsumer * > PathDiagnosticConsumers
unsigned visualizeExplodedGraphWithUbiGraph
ParentMap & getParentMap(Decl const *D)
AnalyzerOptions & options
SourceManager & getSourceManager() override
CodeInjector is an interface which is responsible for injecting AST of function definitions that may ...
AnalysisManager(ASTContext &ctx, DiagnosticsEngine &diags, const LangOptions &lang, const PathDiagnosticConsumers &Consumers, StoreManagerCreator storemgr, ConstraintManagerCreator constraintmgr, CheckerManager *checkerMgr, AnalyzerOptions &Options, CodeInjector *injector=nullptr)
SourceManager & getSourceManager()
DiagnosticsEngine & getDiagnostic() override
const LangOptions & getLangOpts() const
ParentMap & getParentMap()
void clear()
Discard all previously created AnalysisDeclContexts.
T * getAnalysis(Decl const *D)
This class handles loading and caching of source files into memory.
std::unique_ptr< StoreManager >(* StoreManagerCreator)(ProgramStateManager &)