Skip to content

Commit 561b9d0

Browse files
committed
JS: Put in same stage as RemoteFlowSource
1 parent e4a75b4 commit 561b9d0

File tree

2 files changed

+5
-1
lines changed

2 files changed

+5
-1
lines changed

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -312,6 +312,10 @@ module TaintTracking {
312312
*/
313313
cached
314314
private module Cached {
315+
cached predicate forceStage() {
316+
Stages::Taint::ref()
317+
}
318+
315319
/**
316320
* Holds if `pred` → `succ` should be considered a taint-propagating
317321
* data flow edge, which doesn't fit into a more specific category.

javascript/ql/src/semmle/javascript/internal/CachedStages.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -243,7 +243,7 @@ module Stages {
243243
predicate backref() {
244244
1 = 1
245245
or
246-
any(TaintTracking::AdditionalTaintStep step).step(_, _)
246+
TaintTracking::heapStep(_, _)
247247
or
248248
exists(RemoteFlowSource r)
249249
}

0 commit comments

Comments
 (0)