diff options
Diffstat (limited to 'include/clang/Analysis/PathSensitive')
5 files changed, 0 insertions, 159 deletions
diff --git a/include/clang/Analysis/PathSensitive/Checkers/AttrNonNullChecker.h b/include/clang/Analysis/PathSensitive/Checkers/AttrNonNullChecker.h deleted file mode 100644 index 007ec09..0000000 --- a/include/clang/Analysis/PathSensitive/Checkers/AttrNonNullChecker.h +++ /dev/null @@ -1,28 +0,0 @@ -//===--- AttrNonNullChecker.h - Undefined arguments checker ----*- C++ -*--===// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This defines AttrNonNullChecker, a builtin check in GRExprEngine that -// performs checks for arguments declared to have nonnull attribute. -// -//===----------------------------------------------------------------------===// - -#include "clang/Analysis/PathSensitive/CheckerVisitor.h" - -namespace clang { - -class AttrNonNullChecker : public CheckerVisitor<AttrNonNullChecker> { - BugType *BT; - -public: - AttrNonNullChecker() : BT(0) {} - static void *getTag(); - void PreVisitCallExpr(CheckerContext &C, const CallExpr *CE); -}; - -} diff --git a/include/clang/Analysis/PathSensitive/Checkers/BadCallChecker.h b/include/clang/Analysis/PathSensitive/Checkers/BadCallChecker.h deleted file mode 100644 index 70f3c44..0000000 --- a/include/clang/Analysis/PathSensitive/Checkers/BadCallChecker.h +++ /dev/null @@ -1,30 +0,0 @@ -//===--- BadCallChecker.h - Bad call checker --------------------*- C++ -*--==// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This defines BadCallChecker, a builtin check in GRExprEngine that performs -// checks for bad callee at call sites. -// -//===----------------------------------------------------------------------===// - -#include "clang/Analysis/PathSensitive/CheckerVisitor.h" - -namespace clang { - -class BadCallChecker : public CheckerVisitor<BadCallChecker> { - BuiltinBug *BT; - -public: - BadCallChecker() : BT(0) {} - - static void *getTag(); - - void PreVisitCallExpr(CheckerContext &C, const CallExpr *CE); -}; - -} diff --git a/include/clang/Analysis/PathSensitive/Checkers/DivZeroChecker.h b/include/clang/Analysis/PathSensitive/Checkers/DivZeroChecker.h deleted file mode 100644 index 317e43a..0000000 --- a/include/clang/Analysis/PathSensitive/Checkers/DivZeroChecker.h +++ /dev/null @@ -1,28 +0,0 @@ -//== DivZeroChecker.h - Division by zero checker ----------------*- C++ -*--==// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This defines DivZeroChecker, a builtin check in GRExprEngine that performs -// checks for division by zeros. -// -//===----------------------------------------------------------------------===// - -#include "clang/Analysis/PathSensitive/CheckerVisitor.h" - -namespace clang { - -class DivZeroChecker : public CheckerVisitor<DivZeroChecker> { - BuiltinBug *BT; -public: - DivZeroChecker() : BT(0) {} - - static void *getTag(); - void PreVisitBinaryOperator(CheckerContext &C, const BinaryOperator *B); -}; - -} diff --git a/include/clang/Analysis/PathSensitive/Checkers/UndefinedArgChecker.h b/include/clang/Analysis/PathSensitive/Checkers/UndefinedArgChecker.h deleted file mode 100644 index 7f4e7d5..0000000 --- a/include/clang/Analysis/PathSensitive/Checkers/UndefinedArgChecker.h +++ /dev/null @@ -1,34 +0,0 @@ -//===--- UndefinedArgChecker.h - Undefined arguments checker ----*- C++ -*--==// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This defines BadCallChecker, a builtin check in GRExprEngine that performs -// checks for undefined arguments. -// -//===----------------------------------------------------------------------===// - -#ifndef LLVM_CLANG_UNDEFARGCHECKER -#define LLVM_CLANG_UNDEFARGCHECKER - -#include "clang/Analysis/PathSensitive/CheckerVisitor.h" - -namespace clang { - -class UndefinedArgChecker : public CheckerVisitor<UndefinedArgChecker> { - BugType *BT; - -public: - UndefinedArgChecker() : BT(0) {} - - static void *getTag(); - - void PreVisitCallExpr(CheckerContext &C, const CallExpr *CE); -}; - -} -#endif diff --git a/include/clang/Analysis/PathSensitive/Checkers/VLASizeChecker.h b/include/clang/Analysis/PathSensitive/Checkers/VLASizeChecker.h deleted file mode 100644 index b339b3d..0000000 --- a/include/clang/Analysis/PathSensitive/Checkers/VLASizeChecker.h +++ /dev/null @@ -1,39 +0,0 @@ -//=== VLASizeChecker.h - Undefined dereference checker ----------*- C++ -*-===// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This defines two VLASizeCheckers, a builtin check in GRExprEngine that -// performs checks for declaration of VLA of undefined or zero size. -// -//===----------------------------------------------------------------------===// - -#include "clang/Analysis/PathSensitive/Checker.h" - -namespace clang { - -class UndefSizedVLAChecker : public Checker { - BugType *BT; - -public: - UndefSizedVLAChecker() : BT(0) {} - static void *getTag(); - ExplodedNode *CheckType(QualType T, ExplodedNode *Pred, - const GRState *state, Stmt *S, GRExprEngine &Eng); -}; - -class ZeroSizedVLAChecker : public Checker { - BugType *BT; - -public: - ZeroSizedVLAChecker() : BT(0) {} - static void *getTag(); - ExplodedNode *CheckType(QualType T, ExplodedNode *Pred, - const GRState *state, Stmt *S, GRExprEngine &Eng); -}; - -} |
