1 //== AnalysisManager.h - Path sensitive analysis data manager ------*- C++ -*-//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file defines the AnalysisManager class that manages the data and policy
11 // for path sensitive analysis.
13 //===----------------------------------------------------------------------===//
15 #ifndef LLVM_CLANG_GR_ANALYSISMANAGER_H
16 #define LLVM_CLANG_GR_ANALYSISMANAGER_H
18 #include "clang/Analysis/AnalysisContext.h"
19 #include "clang/StaticAnalyzer/Core/AnalyzerOptions.h"
20 #include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
21 #include "clang/StaticAnalyzer/Core/BugReporter/PathDiagnostic.h"
22 #include "clang/StaticAnalyzer/Core/PathDiagnosticConsumers.h"
29 class AnalysisManager : public BugReporterData {
30 virtual void anchor();
31 AnalysisDeclContextManager AnaCtxMgr;
34 DiagnosticsEngine &Diags;
35 const LangOptions &LangOpts;
36 PathDiagnosticConsumers PathConsumers;
38 // Configurable components creators.
39 StoreManagerCreator CreateStoreMgr;
40 ConstraintManagerCreator CreateConstraintMgr;
42 CheckerManager *CheckerMgr;
45 AnalyzerOptions &options;
47 AnalysisManager(ASTContext &ctx,DiagnosticsEngine &diags,
48 const LangOptions &lang,
49 const PathDiagnosticConsumers &Consumers,
50 StoreManagerCreator storemgr,
51 ConstraintManagerCreator constraintmgr,
52 CheckerManager *checkerMgr,
53 AnalyzerOptions &Options);
57 void ClearContexts() {
61 AnalysisDeclContextManager& getAnalysisDeclContextManager() {
65 StoreManagerCreator getStoreManagerCreator() {
66 return CreateStoreMgr;
69 AnalyzerOptions& getAnalyzerOptions() {
73 ConstraintManagerCreator getConstraintManagerCreator() {
74 return CreateConstraintMgr;
77 CheckerManager *getCheckerManager() const { return CheckerMgr; }
79 virtual ASTContext &getASTContext() {
83 virtual SourceManager &getSourceManager() {
84 return getASTContext().getSourceManager();
87 virtual DiagnosticsEngine &getDiagnostic() {
91 const LangOptions &getLangOpts() const {
95 ArrayRef<PathDiagnosticConsumer*> getPathDiagnosticConsumers() {
99 void FlushDiagnostics();
101 bool shouldVisualize() const {
102 return options.visualizeExplodedGraphWithGraphViz ||
103 options.visualizeExplodedGraphWithUbiGraph;
106 bool shouldInlineCall() const {
107 return options.getIPAMode() != IPAK_None;
110 CFG *getCFG(Decl const *D) {
111 return AnaCtxMgr.getContext(D)->getCFG();
114 template <typename T>
115 T *getAnalysis(Decl const *D) {
116 return AnaCtxMgr.getContext(D)->getAnalysis<T>();
119 ParentMap &getParentMap(Decl const *D) {
120 return AnaCtxMgr.getContext(D)->getParentMap();
123 AnalysisDeclContext *getAnalysisDeclContext(const Decl *D) {
124 return AnaCtxMgr.getContext(D);
128 } // enAnaCtxMgrspace
130 } // end clang namespace