Kotlin: Fix dataflow with Array.set wrappers

2026-02-23 10:23:41 +01:00 · 2023-12-06 12:19:46 +00:00
parent 7fc7b96ed7
commit fc11a87882
1 changed files with 1 additions and 1 deletions
--- a/java/ql/lib/semmle/code/java/dataflow/internal/ContainerFlow.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/ContainerFlow.qll
@@ -452,7 +452,7 @@ predicate arrayStoreStep(Node node1, Node node2) {
  )
  or
  exists(Expr arr, Call call |
-    arr = node2.asExpr() and
+    arr = node2.(PostUpdateNode).getPreUpdateNode().asExpr() and
    call.getArgument(1) = node1.asExpr() and
    call.getQualifier() = arr and
    arr.getType() instanceof ArrayType and