@@ -100,7 +100,6 @@ module TaintTracking {
100
100
101
101
final override predicate isAdditionalFlowStep ( DataFlow:: Node pred , DataFlow:: Node succ ) {
102
102
isAdditionalTaintStep ( pred , succ ) or
103
- pred = succ .( FlowTarget ) .getATaintSource ( ) or
104
103
any ( AdditionalTaintStep dts ) .step ( pred , succ )
105
104
}
106
105
@@ -145,15 +144,6 @@ module TaintTracking {
145
144
abstract class LabeledSanitizerGuardNode extends SanitizerGuardNode ,
146
145
DataFlow:: LabeledBarrierGuardNode { }
147
146
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
-
157
147
/**
158
148
* A taint-propagating data flow edge that should be added to all taint tracking
159
149
* configurations in addition to standard data flow edges.
@@ -172,9 +162,6 @@ module TaintTracking {
172
162
abstract predicate step ( DataFlow:: Node pred , DataFlow:: Node succ ) ;
173
163
}
174
164
175
- /** DEPRECATED: Use `AdditionalTaintStep` instead. */
176
- deprecated class DefaultTaintStep = AdditionalTaintStep ;
177
-
178
165
/**
179
166
* A taint propagating data flow edge through object or array elements and
180
167
* promises.
@@ -881,30 +868,4 @@ module TaintTracking {
881
868
882
869
override predicate appliesTo ( Configuration cfg ) { any ( ) }
883
870
}
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
- }
910
871
}
0 commit comments