JS: Update a test to handle AdditionalSanitizerGuardNode

This commit is contained in:
Asger F
2024-10-02 14:39:45 +02:00
parent 6cbe04dcb7
commit 5d2ce172eb

View File

@@ -11,8 +11,10 @@ query predicate isLabeledBarrier(
query predicate isSanitizer(ExampleConfiguration cfg, DataFlow::Node n) { cfg.isSanitizer(n) }
query predicate sanitizingGuard(TaintTracking::SanitizerGuardNode g, Expr e, boolean b) {
g.sanitizes(b, e)
query predicate sanitizingGuard(DataFlow::Node g, Expr e, boolean b) {
g.(TaintTracking::SanitizerGuardNode).sanitizes(b, e)
or
g.(TaintTracking::AdditionalSanitizerGuardNode).sanitizes(b, e)
}
query predicate taintedSink(DataFlow::Node source, DataFlow::Node sink) {