Skip to content

Commit 9953794

Browse files
committed
Kotlin: Add an extra test case for Kotlin array taint
1 parent ee35bfb commit 9953794

File tree

2 files changed

+4
-2
lines changed

2 files changed

+4
-2
lines changed

java/ql/test-kotlin1/library-tests/dataflow/foreach/C2.kt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@ class C2 {
88
val l = arrayOf(taint("a"), "")
99
sink(l)
1010
sink(l[0])
11+
sink(l.get(0))
1112
for (i in l.indices) {
1213
sink(l[i])
1314
}

java/ql/test-kotlin1/library-tests/dataflow/foreach/test.expected

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,5 +4,6 @@
44
| C1.java:10:44:10:46 | "a" | C1.java:19:20:19:20 | s |
55
| C2.kt:8:32:8:32 | "a" | C2.kt:9:14:9:14 | l |
66
| C2.kt:8:32:8:32 | "a" | C2.kt:10:14:10:17 | ...[...] |
7-
| C2.kt:8:32:8:32 | "a" | C2.kt:12:18:12:21 | ...[...] |
8-
| C2.kt:8:32:8:32 | "a" | C2.kt:15:18:15:18 | s |
7+
| C2.kt:8:32:8:32 | "a" | C2.kt:11:14:11:21 | get(...) |
8+
| C2.kt:8:32:8:32 | "a" | C2.kt:13:18:13:21 | ...[...] |
9+
| C2.kt:8:32:8:32 | "a" | C2.kt:16:18:16:18 | s |

0 commit comments

Comments
 (0)