JS: Use sharedTaintStep

This commit is contained in:
Asger Feldthaus
2020-03-28 21:12:29 +00:00
parent 42ddeadaca
commit d9a52201ad

View File

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