Skip to content

Commit bea12bc

Browse files
committed
JS: Fix another join.
1 parent 2e5e764 commit bea12bc

1 file changed

Lines changed: 3 additions & 1 deletion

File tree

‎javascript/ql/lib/semmle/javascript/security/dataflow/ReflectedXssCustomizations.qll‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,9 @@ module ReflectedXss {
112112
1 =
113113
strictcount(Http::ResponseSendArgument sender |
114114
sender.getRouteHandler() = header.getRouteHandler() and
115-
header.getBasicBlock().(ReachableBasicBlock).dominates(sender.getBasicBlock())
115+
pragma[only_bind_out](header.getBasicBlock())
116+
.(ReachableBasicBlock)
117+
.dominates(pragma[only_bind_out](sender.getBasicBlock()))
116118
) and
117119
// doesn't dominate something that looks like a callback.
118120
doesNotDominateCallback(headerBlock)

0 commit comments

Comments
 (0)