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_GR_ANALYSISMANAGER_H 16 #define LLVM_CLANG_GR_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 namespace ento { 27 class CheckerManager; 28 29 class AnalysisManager : public BugReporterData { 30 virtual void anchor(); 31 AnalysisDeclContextManager AnaCtxMgr; 32 33 ASTContext &Ctx; 34 DiagnosticsEngine &Diags; 35 const LangOptions &LangOpts; 36 PathDiagnosticConsumers PathConsumers; 37 38 // Configurable components creators. 39 StoreManagerCreator CreateStoreMgr; 40 ConstraintManagerCreator CreateConstraintMgr; 41 42 CheckerManager *CheckerMgr; 43 44 public: 45 AnalyzerOptions &options; 46 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); 54 55 ~AnalysisManager(); 56 57 void ClearContexts() { 58 AnaCtxMgr.clear(); 59 } 60 61 AnalysisDeclContextManager& getAnalysisDeclContextManager() { 62 return AnaCtxMgr; 63 } 64 65 StoreManagerCreator getStoreManagerCreator() { 66 return CreateStoreMgr; 67 } 68 69 AnalyzerOptions& getAnalyzerOptions() { 70 return options; 71 } 72 73 ConstraintManagerCreator getConstraintManagerCreator() { 74 return CreateConstraintMgr; 75 } 76 77 CheckerManager *getCheckerManager() const { return CheckerMgr; } 78 79 virtual ASTContext &getASTContext() { 80 return Ctx; 81 } 82 83 virtual SourceManager &getSourceManager() { 84 return getASTContext().getSourceManager(); 85 } 86 87 virtual DiagnosticsEngine &getDiagnostic() { 88 return Diags; 89 } 90 91 const LangOptions &getLangOpts() const { 92 return LangOpts; 93 } 94 95 ArrayRef<PathDiagnosticConsumer*> getPathDiagnosticConsumers() { 96 return PathConsumers; 97 } 98 99 void FlushDiagnostics(); 100 101 bool shouldVisualize() const { 102 return options.visualizeExplodedGraphWithGraphViz || 103 options.visualizeExplodedGraphWithUbiGraph; 104 } 105 106 bool shouldInlineCall() const { 107 return options.getIPAMode() != IPAK_None; 108 } 109 110 CFG *getCFG(Decl const *D) { 111 return AnaCtxMgr.getContext(D)->getCFG(); 112 } 113 114 template <typename T> 115 T *getAnalysis(Decl const *D) { 116 return AnaCtxMgr.getContext(D)->getAnalysis<T>(); 117 } 118 119 ParentMap &getParentMap(Decl const *D) { 120 return AnaCtxMgr.getContext(D)->getParentMap(); 121 } 122 123 AnalysisDeclContext *getAnalysisDeclContext(const Decl *D) { 124 return AnaCtxMgr.getContext(D); 125 } 126 }; 127 128 } // enAnaCtxMgrspace 129 130 } // end clang namespace 131 132 #endif 133
