include/clang/StaticAnalyzer/Checkers/LocalCheckers.h

   1 //==- LocalCheckers.h - Intra-Procedural+Flow-Sensitive Checkers -*- 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 interface to call a set of intra-procedural (local)
  11 //  checkers that use flow/path-sensitive analyses to find bugs.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #ifndef LLVM_CLANG_GR_LOCALCHECKERS_H
  16 #define LLVM_CLANG_GR_LOCALCHECKERS_H
  17
  18 namespace clang {
  19
  20 class CFG;
  21 class Decl;
  22 class Diagnostic;
  23 class ASTContext;
  24 class LangOptions;
  25 class ParentMap;
  26 class LiveVariables;
  27 class ObjCImplementationDecl;
  28 class LangOptions;
  29 class TranslationUnitDecl;
  30
  31 namespace ento {
  32
  33 class PathDiagnosticClient;
  34 class TransferFuncs;
  35 class BugType;
  36 class BugReporter;
  37 class ExprEngine;
  38
  39 TransferFuncs* MakeCFRefCountTF(ASTContext& Ctx, bool GCEnabled,
  40                                   const LangOptions& lopts);
  41
  42 void RegisterExperimentalChecks(ExprEngine &Eng);
  43 void RegisterExperimentalInternalChecks(ExprEngine &Eng);
  44
  45 void RegisterCallInliner(ExprEngine &Eng);
  46
  47 } // end GR namespace
  48
  49 } // end namespace clang
  50
  51 #endif