JS: Put in same stage as RemoteFlowSource

This commit is contained in:
Asger Feldthaus
2021-03-11 13:11:28 +00:00
parent e4a75b42e9
commit 561b9d09b3
2 changed files with 5 additions and 1 deletions

View File

@@ -312,6 +312,10 @@ module TaintTracking {
*/
cached
private module Cached {
cached predicate forceStage() {
Stages::Taint::ref()
}
/**
* Holds if `pred` → `succ` should be considered a taint-propagating
* data flow edge, which doesn't fit into a more specific category.

View File

@@ -243,7 +243,7 @@ module Stages {
predicate backref() {
1 = 1
or
any(TaintTracking::AdditionalTaintStep step).step(_, _)
TaintTracking::heapStep(_, _)
or
exists(RemoteFlowSource r)
}