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   ConstraintManagerCreator getConstraintManagerCreator() {
  70     return CreateConstraintMgr;
  71   }
  72
  73   CheckerManager *getCheckerManager() const { return CheckerMgr; }
  74
  75   virtual ASTContext &getASTContext() {
  76     return Ctx;
  77   }
  78
  79   virtual SourceManager &getSourceManager() {
  80     return getASTContext().getSourceManager();
  81   }
  82
  83   virtual DiagnosticsEngine &getDiagnostic() {
  84     return Diags;
  85   }
  86
  87   const LangOptions &getLangOpts() const {
  88     return LangOpts;
  89   }
  90
  91   ArrayRef<PathDiagnosticConsumer*> getPathDiagnosticConsumers()  {
  92     return PathConsumers;
  93   }
  94
  95   void FlushDiagnostics();
  96
  97   bool shouldVisualize() const {
  98     return options.visualizeExplodedGraphWithGraphViz ||
  99            options.visualizeExplodedGraphWithUbiGraph;
 100   }
 101
 102   bool shouldInlineCall() const {
 103     return options.getIPAMode() != IPAK_None;
 104   }
 105
 106   CFG *getCFG(Decl const *D) {
 107     return AnaCtxMgr.getContext(D)->getCFG();
 108   }
 109
 110   template <typename T>
 111   T *getAnalysis(Decl const *D) {
 112     return AnaCtxMgr.getContext(D)->getAnalysis<T>();
 113   }
 114
 115   ParentMap &getParentMap(Decl const *D) {
 116     return AnaCtxMgr.getContext(D)->getParentMap();
 117   }
 118
 119   AnalysisDeclContext *getAnalysisDeclContext(const Decl *D) {
 120     return AnaCtxMgr.getContext(D);
 121   }
 122 };
 123
 124 } // enAnaCtxMgrspace
 125
 126 } // end clang namespace
 127
 128 #endif