From fc11a878826da3cc392284e8389f6fc8109123ec Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Wed, 6 Dec 2023 12:19:46 +0000 Subject: [PATCH] Kotlin: Fix dataflow with Array.set wrappers --- .../ql/lib/semmle/code/java/dataflow/internal/ContainerFlow.qll | 2 +- 1 file changed, 1 insertion(+), 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 index a113c28de82..7fdf240f36f 100644 --- 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