Skip to content

Commit 8f86b06

Browse files
committed
deprecate the unused localTaintStep and stringStep predicates
1 parent cc231fe commit 8f86b06

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

javascript/ql/lib/semmle/javascript/dataflow/DataFlow.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1718,5 +1718,5 @@ module DataFlow {
17181718
import TypeTracking
17191719
import internal.FunctionWrapperSteps
17201720

1721-
predicate localTaintStep = TaintTracking::localTaintStep/2;
1721+
deprecated predicate localTaintStep = TaintTracking::localTaintStep/2;
17221722
}

javascript/ql/lib/semmle/javascript/dataflow/TaintTracking.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -431,7 +431,7 @@ module TaintTracking {
431431
* Holds if `pred -> succ` is a taint propagating data flow edge through a string operation.
432432
*/
433433
pragma[inline]
434-
predicate stringStep(DataFlow::Node pred, DataFlow::Node succ) {
434+
deprecated predicate stringStep(DataFlow::Node pred, DataFlow::Node succ) {
435435
stringConcatenationStep(pred, succ) or
436436
stringManipulationStep(pred, succ)
437437
}
@@ -1243,7 +1243,7 @@ module TaintTracking {
12431243
/**
12441244
* Holds if taint propagates from `pred` to `succ` in one local (intra-procedural) step.
12451245
*/
1246-
predicate localTaintStep(DataFlow::Node pred, DataFlow::Node succ) {
1246+
deprecated predicate localTaintStep(DataFlow::Node pred, DataFlow::Node succ) {
12471247
DataFlow::localFlowStep(pred, succ) or
12481248
sharedTaintStep(pred, succ)
12491249
}

0 commit comments

Comments
 (0)