Merge pull request #9798 from erik-krogh/backtrackers

JS: use small steps in TypeBackTracker correctly
This commit is contained in:
Erik Krogh Kristensen
2022-07-14 10:28:07 +02:00
committed by GitHub
5 changed files with 23 additions and 3 deletions

View File

@@ -50,7 +50,7 @@ private DataFlow::Node endsInCodeInjectionSink(DataFlow::TypeBackTracker t) {
not result instanceof StringOps::ConcatenationRoot // the heuristic CodeInjection sink looks for string-concats, we are not interrested in those here.
)
or
exists(DataFlow::TypeBackTracker t2 | t = t2.smallstep(result, endsInCodeInjectionSink(t2)))
exists(DataFlow::TypeBackTracker t2 | t2 = t.smallstep(result, endsInCodeInjectionSink(t2)))
}
/**