contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h

   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