@@ -100,7 +100,6 @@ module TaintTracking {
100100
101101 final override predicate isAdditionalFlowStep ( DataFlow:: Node pred , DataFlow:: Node succ ) {
102102 isAdditionalTaintStep ( pred , succ ) or
103- pred = succ .( FlowTarget ) .getATaintSource ( ) or
104103 any ( AdditionalTaintStep dts ) .step ( pred , succ )
105104 }
106105
@@ -145,15 +144,6 @@ module TaintTracking {
145144 abstract class LabeledSanitizerGuardNode extends SanitizerGuardNode ,
146145 DataFlow:: LabeledBarrierGuardNode { }
147146
148- /**
149- * DEPRECATED: Override `Configuration::isAdditionalTaintStep` or use
150- * `AdditionalTaintStep` instead.
151- */
152- abstract class FlowTarget extends DataFlow:: Node {
153- /** Gets another data flow node from which taint is propagated to this node. */
154- abstract DataFlow:: Node getATaintSource ( ) ;
155- }
156-
157147 /**
158148 * A taint-propagating data flow edge that should be added to all taint tracking
159149 * configurations in addition to standard data flow edges.
@@ -172,9 +162,6 @@ module TaintTracking {
172162 abstract predicate step ( DataFlow:: Node pred , DataFlow:: Node succ ) ;
173163 }
174164
175- /** DEPRECATED: Use `AdditionalTaintStep` instead. */
176- deprecated class DefaultTaintStep = AdditionalTaintStep ;
177-
178165 /**
179166 * A taint propagating data flow edge through object or array elements and
180167 * promises.
@@ -881,30 +868,4 @@ module TaintTracking {
881868
882869 override predicate appliesTo ( Configuration cfg ) { any ( ) }
883870 }
884-
885- /**
886- * An expression that can act as a sanitizer for a variable when appearing
887- * in a condition.
888- *
889- * DEPRECATED: use `AdditionalSanitizerGuardNode` instead.
890- */
891- abstract deprecated class SanitizingGuard extends Expr {
892- /**
893- * Holds if this expression sanitizes expression `e` for the purposes of taint-tracking
894- * configuration `cfg`, provided it evaluates to `outcome`.
895- */
896- abstract predicate sanitizes ( Configuration cfg , boolean outcome , Expr e ) ;
897- }
898-
899- /**
900- * Support registration of sanitizers with the deprecated type `SanitizingGuard`.
901- */
902- deprecated private class AdditionalSanitizingGuard extends AdditionalSanitizerGuardNode ,
903- DataFlow:: ValueNode {
904- override SanitizingGuard astNode ;
905-
906- override predicate sanitizes ( boolean outcome , Expr e ) { astNode .sanitizes ( _, outcome , e ) }
907-
908- override predicate appliesTo ( Configuration cfg ) { astNode .sanitizes ( cfg , _, _) }
909- }
910871}
0 commit comments