Skip to content

Commit 443b59e

Browse files
committed
JS: Fixup bad merge in HeapTaintStep
1 parent 80bc5d9 commit 443b59e

File tree

1 file changed

+0
-7
lines changed

1 file changed

+0
-7
lines changed

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

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -536,13 +536,6 @@ module TaintTracking {
536536
not any(PromiseAllCreation call).getArrayNode() = succ
537537
or
538538
// reading from a tainted object yields a tainted result
539-
succ.(DataFlow::PropRead).getBase() = pred
540-
or
541-
// arrays with tainted elements and objects with tainted property names are tainted
542-
succ.(DataFlow::ArrayCreationNode).getAnElement() = pred and
543-
not any(PromiseAllCreation call).getArrayNode() = succ
544-
or
545-
// reading from a tainted object yields a tainted result
546539
succ.(DataFlow::PropRead).getBase() = pred and
547540
not AccessPath::DominatingPaths::hasDominatingWrite(succ) and
548541
not isSafeClientSideUrlProperty(succ)

0 commit comments

Comments
 (0)