lib/Checker/GRExprEngineExperimentalChecks.cpp

   1 //=-- GRExprEngineExperimentalChecks.h ------------------------------*- 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 functions to instantiate and register experimental
  11 //  checks in GRExprEngine.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #include "GRExprEngineInternalChecks.h"
  16 #include "GRExprEngineExperimentalChecks.h"
  17 #include "clang/GR/Checkers/LocalCheckers.h"
  18
  19 using namespace clang;
  20
  21 void clang::RegisterExperimentalChecks(GRExprEngine &Eng) {
  22   // These are checks that never belong as internal checks
  23   // within GRExprEngine.
  24   RegisterCStringChecker(Eng);
  25   RegisterChrootChecker(Eng);
  26   RegisterMallocChecker(Eng);
  27   RegisterPthreadLockChecker(Eng);
  28   RegisterStreamChecker(Eng);
  29   RegisterUnreachableCodeChecker(Eng);
  30 }
  31
  32 void clang::RegisterExperimentalInternalChecks(GRExprEngine &Eng) {
  33   // These are internal checks that should eventually migrate to
  34   // RegisterInternalChecks() once they have been further tested.
  35
  36   // Note that this must be registered after ReturnStackAddresEngsChecker.
  37   RegisterReturnPointerRangeChecker(Eng);
  38
  39   RegisterArrayBoundChecker(Eng);
  40   RegisterCastSizeChecker(Eng);
  41   RegisterCastToStructChecker(Eng);
  42   RegisterFixedAddressChecker(Eng);
  43   RegisterPointerArithChecker(Eng);
  44   RegisterPointerSubChecker(Eng);
  45 }