Kotlin: Fix dataflow with Array.set wrappers

igfoo · igfoo · commit fc11a878826d · 2023-12-06T12:19:46.000Z
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

Original file line number	Diff line number	Diff line change
`@@ -452,7 +452,7 @@ predicate arrayStoreStep(Node node1, Node node2) {`
`452`	`452`	`)`
`453`	`453`	`or`
`454`	`454`	`exists(Expr arr, Call call \|`
`455`		`- arr = node2.asExpr() and`
	`455`	`+ arr = node2.(PostUpdateNode).getPreUpdateNode().asExpr() and`
`456`	`456`	`call.getArgument(1) = node1.asExpr() and`
`457`	`457`	`call.getQualifier() = arr and`
`458`	`458`	`arr.getType() instanceof ArrayType and`