include/clang/Frontend/Analyses.def

   1 //===-- Analyses.def - Metadata about Static Analyses -----------*- 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 set of static analyses used by AnalysisConsumer.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #ifndef ANALYSIS
  15 #define ANALYSIS(NAME, CMDFLAG, DESC, SCOPE)
  16 #endif
  17
  18 ANALYSIS(WarnUninitVals, "warn-uninit-values",
  19          "Warn about uses of uninitialized variables", Code)
  20
  21 ANALYSIS(ObjCMemChecker, "analyzer-check-objc-mem",
  22          "Run the [Core] Foundation reference count checker", Code)
  23
  24 #ifndef ANALYSIS_STORE
  25 #define ANALYSIS_STORE(NAME, CMDFLAG, DESC, CREATFN)
  26 #endif
  27
  28 ANALYSIS_STORE(BasicStore, "basic", "Use basic analyzer store", CreateBasicStoreManager)
  29 ANALYSIS_STORE(RegionStore, "region", "Use region-based analyzer store", CreateRegionStoreManager)
  30 ANALYSIS_STORE(FlatStore, "flat", "Use flat analyzer store", CreateFlatStoreManager)
  31
  32 #ifndef ANALYSIS_CONSTRAINTS
  33 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN)
  34 #endif
  35
  36 ANALYSIS_CONSTRAINTS(BasicConstraints, "basic", "Use basic constraint tracking", CreateBasicConstraintManager)
  37 ANALYSIS_CONSTRAINTS(RangeConstraints, "range", "Use constraint tracking of concrete value ranges", CreateRangeConstraintManager)
  38
  39 #ifndef ANALYSIS_DIAGNOSTICS
  40 #define ANALYSIS_DIAGNOSTICS(NAME, CMDFLAG, DESC, CREATEFN, AUTOCREATE)
  41 #endif
  42
  43 ANALYSIS_DIAGNOSTICS(HTML,  "html",  "Output analysis results using HTML",   createHTMLDiagnosticClient, false)
  44 ANALYSIS_DIAGNOSTICS(PLIST, "plist", "Output analysis results using Plists", createPlistDiagnosticClient, true)
  45 ANALYSIS_DIAGNOSTICS(PLIST_HTML, "plist-html", "Output analysis results using HTML wrapped with Plists", createPlistHTMLDiagnosticClient, true)
  46 ANALYSIS_DIAGNOSTICS(TEXT, "text", "Text output of analysis results", createTextPathDiagnosticClient, true)
  47
  48 #undef ANALYSIS
  49 #undef ANALYSIS_STORE
  50 #undef ANALYSIS_CONSTRAINTS
  51 #undef ANALYSIS_DIAGNOSTICS
  52 #undef ANALYSIS_STORE
  53