Fix cartesian product

2026-03-01 13:23:49 +01:00 · 2020-09-18 15:42:03 +01:00
parent abb1731be7
commit 9baf2b9eff
1 changed files with 1 additions and 0 deletions
--- a/java/ql/src/semmle/code/java/security/CommandArguments.qll
+++ b/java/ql/src/semmle/code/java/security/CommandArguments.qll
@@ -174,6 +174,7 @@ private Expr firstElementOf(Expr arr) {
    exists(CommandArgArrayImmutableFirst caa | arr = caa.getAUse() | result = caa.getFirstElement())
    or
    exists(MethodAccess ma, Method m |
+      arr = ma and
      ma.getMethod() = m and
      m.getDeclaringType().hasQualifiedName("java.util", "Arrays") and
      m.hasName("copyOf") and