Kotlin: Fix dataflow with Array.set wrappers

github · Dec 6, 2023 · fc11a87 · fc11a87
1 parent 7fc7b96
commit fc11a87
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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