1 //== AnalysisManager.h - Path sensitive analysis data manager ------*- C++ -*-//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file defines the AnalysisManager class that manages the data and policy
11 // for path sensitive analysis.
12 //
13 //===----------------------------------------------------------------------===//
14 
15 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_ANALYSISMANAGER_H
16 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_ANALYSISMANAGER_H
17 
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"
23 
24 namespace clang {
25 
26 class CodeInjector;
27 
28 namespace ento {
29   class CheckerManager;
30 
31 class AnalysisManager : public BugReporterData {
32   virtual void anchor();
33   AnalysisDeclContextManager AnaCtxMgr;
34 
35   ASTContext &Ctx;
36   DiagnosticsEngine &Diags;
37   const LangOptions &LangOpts;
38   PathDiagnosticConsumers PathConsumers;
39 
40   // Configurable components creators.
41   StoreManagerCreator CreateStoreMgr;
42   ConstraintManagerCreator CreateConstraintMgr;
43 
44   CheckerManager *CheckerMgr;
45 
46 public:
47   AnalyzerOptions &options;
48 
49   AnalysisManager(ASTContext &ctx,DiagnosticsEngine &diags,
50                   const LangOptions &lang,
51                   const PathDiagnosticConsumers &Consumers,
52                   StoreManagerCreator storemgr,
53                   ConstraintManagerCreator constraintmgr,
54                   CheckerManager *checkerMgr,
55                   AnalyzerOptions &Options,
56                   CodeInjector* injector = nullptr);
57 
58   ~AnalysisManager() override;
59 
ClearContexts()60   void ClearContexts() {
61     AnaCtxMgr.clear();
62   }
63 
getAnalysisDeclContextManager()64   AnalysisDeclContextManager& getAnalysisDeclContextManager() {
65     return AnaCtxMgr;
66   }
67 
getStoreManagerCreator()68   StoreManagerCreator getStoreManagerCreator() {
69     return CreateStoreMgr;
70   }
71 
getAnalyzerOptions()72   AnalyzerOptions& getAnalyzerOptions() override {
73     return options;
74   }
75 
getConstraintManagerCreator()76   ConstraintManagerCreator getConstraintManagerCreator() {
77     return CreateConstraintMgr;
78   }
79 
getCheckerManager()80   CheckerManager *getCheckerManager() const { return CheckerMgr; }
81 
getASTContext()82   ASTContext &getASTContext() override {
83     return Ctx;
84   }
85 
getSourceManager()86   SourceManager &getSourceManager() override {
87     return getASTContext().getSourceManager();
88   }
89 
getDiagnostic()90   DiagnosticsEngine &getDiagnostic() override {
91     return Diags;
92   }
93 
getLangOpts()94   const LangOptions &getLangOpts() const {
95     return LangOpts;
96   }
97 
getPathDiagnosticConsumers()98   ArrayRef<PathDiagnosticConsumer*> getPathDiagnosticConsumers() override {
99     return PathConsumers;
100   }
101 
102   void FlushDiagnostics();
103 
shouldVisualize()104   bool shouldVisualize() const {
105     return options.visualizeExplodedGraphWithGraphViz ||
106            options.visualizeExplodedGraphWithUbiGraph;
107   }
108 
shouldInlineCall()109   bool shouldInlineCall() const {
110     return options.getIPAMode() != IPAK_None;
111   }
112 
getCFG(Decl const * D)113   CFG *getCFG(Decl const *D) {
114     return AnaCtxMgr.getContext(D)->getCFG();
115   }
116 
117   template <typename T>
getAnalysis(Decl const * D)118   T *getAnalysis(Decl const *D) {
119     return AnaCtxMgr.getContext(D)->getAnalysis<T>();
120   }
121 
getParentMap(Decl const * D)122   ParentMap &getParentMap(Decl const *D) {
123     return AnaCtxMgr.getContext(D)->getParentMap();
124   }
125 
getAnalysisDeclContext(const Decl * D)126   AnalysisDeclContext *getAnalysisDeclContext(const Decl *D) {
127     return AnaCtxMgr.getContext(D);
128   }
129 };
130 
131 } // enAnaCtxMgrspace
132 
133 } // end clang namespace
134 
135 #endif
136