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() }