Kotlin: Add manual model for Array.withIndex

Author: tamasvajk

java/ql/lib/semmle/code/java/frameworks/kotlin/StdLib.qll

@@ -6,6 +6,9 @@ private import semmle.code.java.dataflow.ExternalFlow
 private class KotlinStdLibSummaryCsv extends SummaryModelCsv {
   override predicate row(string row) {
     row =
-      "kotlin.jvm.internal;ArrayIteratorKt;false;iterator;(Object[]);;Argument[0].ArrayElement;ReturnValue.Element;value;manual"
+      [
+        "kotlin.jvm.internal;ArrayIteratorKt;false;iterator;(Object[]);;Argument[0].ArrayElement;ReturnValue.Element;value;manual",
+        "kotlin.collections;ArraysKt;false;withIndex;(Object[]);;Argument[0].ArrayElement;ReturnValue;taint;manual"
+      ]
   }
 }

java/ql/test/kotlin/library-tests/dataflow/summaries/test.expected

@@ -3,7 +3,3 @@
 | test.kt:41:17:41:22 | getSecond(...) | Unexpected result: hasTaintFlow=e |
 | test.kt:53:17:53:24 | getDuration(...) | Unexpected result: hasTaintFlow=f |
 | test.kt:58:18:58:29 | component2(...) | Unexpected result: hasTaintFlow=g |
-| test.kt:66:53:66:71 | // $ hasTaintFlow=i | Missing result:hasTaintFlow=i |
-| test.kt:67:53:67:71 | // $ hasTaintFlow=i | Missing result:hasTaintFlow=i |
-| test.kt:68:53:68:71 | // $ hasTaintFlow=i | Missing result:hasTaintFlow=i |
-| test.kt:71:53:71:71 | // $ hasTaintFlow=i | Missing result:hasTaintFlow=i |