summaryrefslogtreecommitdiffstats
path: root/gnu/llvm/tools/clang/lib/StaticAnalyzer/Checkers/TaintTesterChecker.cpp
diff options
context:
space:
mode:
authorpatrick <patrick@openbsd.org>2020-08-03 15:06:44 +0000
committerpatrick <patrick@openbsd.org>2020-08-03 15:06:44 +0000
commitb64793999546ed8adebaeebd9d8345d18db8927d (patch)
tree4357c27b561d73b0e089727c6ed659f2ceff5f47 /gnu/llvm/tools/clang/lib/StaticAnalyzer/Checkers/TaintTesterChecker.cpp
parentAdd support for UTF-8 DISPLAY-HINTs with octet length. For now only (diff)
downloadwireguard-openbsd-b64793999546ed8adebaeebd9d8345d18db8927d.tar.xz
wireguard-openbsd-b64793999546ed8adebaeebd9d8345d18db8927d.zip
Remove LLVM 8.0.1 files.
Diffstat (limited to 'gnu/llvm/tools/clang/lib/StaticAnalyzer/Checkers/TaintTesterChecker.cpp')
-rw-r--r--gnu/llvm/tools/clang/lib/StaticAnalyzer/Checkers/TaintTesterChecker.cpp62
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>();
-}