From dca74a1f45f517d0188b82fef0ad6bbab21740b8 Mon Sep 17 00:00:00 2001 From: Erik Krogh Kristensen Date: Fri, 22 Apr 2022 10:37:31 +0200 Subject: [PATCH] get tainttracking3/TaintTrackingImpl.qll in sync --- .../tainttracking3/TaintTrackingImpl.qll | 20 ------------------- 1 file changed, 20 deletions(-) diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/tainttracking3/TaintTrackingImpl.qll b/java/ql/lib/semmle/code/java/dataflow/internal/tainttracking3/TaintTrackingImpl.qll index 55f4db649f6..e6a93c6dfe8 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/tainttracking3/TaintTrackingImpl.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/tainttracking3/TaintTrackingImpl.qll @@ -109,16 +109,6 @@ abstract class Configuration extends DataFlow::Configuration { /** Holds if taint propagation into `node` is prohibited. */ predicate isSanitizerIn(DataFlow::Node node) { none() } - /** - * Holds if taint propagation into `node` is prohibited when the flow state is - * `state`. - */ - predicate isSanitizerIn(DataFlow::Node node, DataFlow::FlowState state) { none() } - - final override predicate isBarrierIn(DataFlow::Node node, DataFlow::FlowState state) { - this.isSanitizerIn(node, state) - } - final override predicate isBarrierIn(DataFlow::Node node) { this.isSanitizerIn(node) } /** Holds if taint propagation out of `node` is prohibited. */ @@ -126,16 +116,6 @@ abstract class Configuration extends DataFlow::Configuration { final override predicate isBarrierOut(DataFlow::Node node) { this.isSanitizerOut(node) } - /** - * Holds if taint propagation out of `node` is prohibited when the flow state is - * `state`. - */ - predicate isSanitizerOut(DataFlow::Node node, DataFlow::FlowState state) { none() } - - final override predicate isBarrierOut(DataFlow::Node node, DataFlow::FlowState state) { - this.isSanitizerOut(node, state) - } - /** Holds if taint propagation through nodes guarded by `guard` is prohibited. */ predicate isSanitizerGuard(DataFlow::BarrierGuard guard) { none() }