Java: Fix bad join-order.

2026-04-30 19:26:02 +02:00 · 2021-10-14 09:26:55 +02:00
parent 6508afe824
commit 90a50e7ca9
1 changed files with 4 additions and 1 deletions
--- a/java/ql/lib/semmle/code/java/dispatch/WrappedInvocation.qll
+++ b/java/ql/lib/semmle/code/java/dispatch/WrappedInvocation.qll
@@ -39,7 +39,10 @@ private Expr getRunnerArgument(MethodAccess ma, Method runmethod) {
  or
  getRunnerArgument(ma, runmethod).(CastExpr).getExpr() = result
  or
-  getRunnerArgument(ma, runmethod).(VarAccess).getVariable().getAnAssignedValue() = result
+  pragma[only_bind_out](getRunnerArgument(ma, runmethod))
+      .(VarAccess)
+      .getVariable()
+      .getAnAssignedValue() = result
 }

 /**