JS: Use sharedTaintStep

asgerf · asgerf · commit d9a52201adcf · 2021-03-17T13:26:02.000Z
diff --git a/javascript/ql/src/semmle/javascript/dataflow/TaintTracking.qll b/javascript/ql/src/semmle/javascript/dataflow/TaintTracking.qll
@@ -1114,6 +1114,6 @@ module TaintTracking {
    */
   predicate localTaintStep(DataFlow::Node pred, DataFlow::Node succ) {
     DataFlow::localFlowStep(pred, succ) or
-    any(AdditionalTaintStep s).step(pred, succ)
+    sharedTaintStep(pred, succ)
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -1114,6 +1114,6 @@ module TaintTracking {`
`1114`	`1114`	`*/`
`1115`	`1115`	`predicate localTaintStep(DataFlow::Node pred, DataFlow::Node succ) {`
`1116`	`1116`	`DataFlow::localFlowStep(pred, succ) or`
`1117`		`- any(AdditionalTaintStep s).step(pred, succ)`
	`1117`	`+ sharedTaintStep(pred, succ)`
`1118`	`1118`	`}`
`1119`	`1119`	`}`