1 files changed, 0 insertions, 62 deletions
diff --git a/gnu/llvm/tools/clang/lib/StaticAnalyzer/Checkers/TaintTesterChecker.cpp b/gnu/llvm/tools/clang/lib/StaticAnalyzer/Checkers/TaintTesterChecker.cpp
deleted file mode 100644
index 3aa8e95d0ad..00000000000
--- a/gnu/llvm/tools/clang/lib/StaticAnalyzer/Checkers/TaintTesterChecker.cpp
+++ /dev/null
@@ -1,62 +0,0 @@
-//== TaintTesterChecker.cpp ----------------------------------- -*- C++ -*--=//
-//
-//                     The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-//
-// This checker can be used for testing how taint data is propagated.
-//
-//===----------------------------------------------------------------------===//
-#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
-#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
-#include "clang/StaticAnalyzer/Core/Checker.h"
-#include "clang/StaticAnalyzer/Core/CheckerManager.h"
-#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
-
-using namespace clang;
-using namespace ento;
-
-namespace {
-class TaintTesterChecker : public Checker< check::PostStmt<Expr> > {
-
-  mutable std::unique_ptr<BugType> BT;
-  void initBugType() const;
-
-  /// Given a pointer argument, get the symbol of the value it contains
-  /// (points to).
-  SymbolRef getPointedToSymbol(CheckerContext &C,
-                               const Expr* Arg,
-                               bool IssueWarning = true) const;
-
-public:
-  void checkPostStmt(const Expr *E, CheckerContext &C) const;
-};
-}
-
-inline void TaintTesterChecker::initBugType() const {
-  if (!BT)
-    BT.reset(new BugType(this, "Tainted data", "General"));
-}
-
-void TaintTesterChecker::checkPostStmt(const Expr *E,
-                                       CheckerContext &C) const {
-  ProgramStateRef State = C.getState();
-  if (!State)
-    return;
-
-  if (State->isTainted(E, C.getLocationContext())) {
-    if (ExplodedNode *N = C.generateNonFatalErrorNode()) {
-      initBugType();
-      auto report = llvm::make_unique<BugReport>(*BT, "tainted",N);
-      report->addRange(E->getSourceRange());
-      C.emitReport(std::move(report));
-    }
-  }
-}
-
-void ento::registerTaintTesterChecker(CheckerManager &mgr) {
-  mgr.registerChecker<TaintTesterChecker>();
-}