diff --git a/java/ql/test-kotlin1/library-tests/dataflow/summaries/test.expected b/java/ql/test-kotlin1/library-tests/dataflow/summaries/test.expected index 553af8b14e4f..eb9df3790639 100644 --- a/java/ql/test-kotlin1/library-tests/dataflow/summaries/test.expected +++ b/java/ql/test-kotlin1/library-tests/dataflow/summaries/test.expected @@ -234,8 +234,3 @@ subpaths | use.kt:9:14:9:25 | taint(...) : Closeable | use.kt:9:31:9:36 | it : Closeable | use.kt:9:33:9:34 | it : Closeable | use.kt:9:14:9:36 | use(...) | | with.kt:7:19:7:30 | taint(...) : String | with.kt:7:33:7:40 | $this$with : String | with.kt:7:35:7:38 | this : String | with.kt:7:14:7:40 | with(...) | testFailures -| test.kt:28:14:28:21 | getSecond(...) | Unexpected result: hasTaintFlow=a | -| test.kt:35:14:35:27 | component1(...) | Unexpected result: hasTaintFlow=d | -| test.kt:41:14:41:22 | getSecond(...) | Unexpected result: hasTaintFlow=e | -| test.kt:53:14:53:24 | getDuration(...) | Unexpected result: hasTaintFlow=f | -| test.kt:58:14:58:29 | component2(...) | Unexpected result: hasTaintFlow=g | diff --git a/java/ql/test-kotlin1/library-tests/dataflow/summaries/test.kt b/java/ql/test-kotlin1/library-tests/dataflow/summaries/test.kt index 6b41ab265576..50766dd8fdcf 100644 --- a/java/ql/test-kotlin1/library-tests/dataflow/summaries/test.kt +++ b/java/ql/test-kotlin1/library-tests/dataflow/summaries/test.kt @@ -25,20 +25,20 @@ class Test { val p = Pair(taint("a"), "") sink(p) // $ hasTaintFlow=a sink(p.component1()) // $ hasTaintFlow=a - sink(p.second) + sink(p.second) // $ SPURIOUS: hasTaintFlow=a sink(taint("b").capitalize()) // $ hasTaintFlow=b sink(taint("c").replaceFirstChar { _ -> 'x' }) // $ hasTaintFlow=c val t = Triple("", taint("d"), "") sink(t) // $ hasTaintFlow=d - sink(t.component1()) + sink(t.component1()) // $ SPURIOUS: hasTaintFlow=d sink(t.second) // $ hasTaintFlow=d val p1 = taint("e") to "" sink(p1) // $ hasTaintFlow=e sink(p1.component1()) // $ hasTaintFlow=e - sink(p1.second) + sink(p1.second) // $ SPURIOUS: hasTaintFlow=e val l = p.toList() sink(l) // $ hasTaintFlow=a @@ -50,12 +50,12 @@ class Test { val tv = TimedValue(taint("f"), Duration.parse("")) sink(tv) // $ hasTaintFlow=f sink(tv.component1()) // $ hasTaintFlow=f - sink(tv.duration) + sink(tv.duration) // $ SPURIOUS: hasTaintFlow=f val mg0 = MatchGroup(taint("g"), IntRange(0, 10)) sink(mg0) // $ hasTaintFlow=g sink(mg0.value) // $ hasTaintFlow=g - sink(mg0.component2()) + sink(mg0.component2()) // $ SPURIOUS: hasTaintFlow=g val iv = IndexedValue(5, taint("h")) sink(iv) // $ hasTaintFlow=h @@ -72,4 +72,4 @@ class Test { sink(x.index) } } -} \ No newline at end of file +} diff --git a/java/ql/test-kotlin2/library-tests/dataflow/summaries/test.expected b/java/ql/test-kotlin2/library-tests/dataflow/summaries/test.expected index 553af8b14e4f..eb9df3790639 100644 --- a/java/ql/test-kotlin2/library-tests/dataflow/summaries/test.expected +++ b/java/ql/test-kotlin2/library-tests/dataflow/summaries/test.expected @@ -234,8 +234,3 @@ subpaths | use.kt:9:14:9:25 | taint(...) : Closeable | use.kt:9:31:9:36 | it : Closeable | use.kt:9:33:9:34 | it : Closeable | use.kt:9:14:9:36 | use(...) | | with.kt:7:19:7:30 | taint(...) : String | with.kt:7:33:7:40 | $this$with : String | with.kt:7:35:7:38 | this : String | with.kt:7:14:7:40 | with(...) | testFailures -| test.kt:28:14:28:21 | getSecond(...) | Unexpected result: hasTaintFlow=a | -| test.kt:35:14:35:27 | component1(...) | Unexpected result: hasTaintFlow=d | -| test.kt:41:14:41:22 | getSecond(...) | Unexpected result: hasTaintFlow=e | -| test.kt:53:14:53:24 | getDuration(...) | Unexpected result: hasTaintFlow=f | -| test.kt:58:14:58:29 | component2(...) | Unexpected result: hasTaintFlow=g | diff --git a/java/ql/test-kotlin2/library-tests/dataflow/summaries/test.kt b/java/ql/test-kotlin2/library-tests/dataflow/summaries/test.kt index 6b41ab265576..50766dd8fdcf 100644 --- a/java/ql/test-kotlin2/library-tests/dataflow/summaries/test.kt +++ b/java/ql/test-kotlin2/library-tests/dataflow/summaries/test.kt @@ -25,20 +25,20 @@ class Test { val p = Pair(taint("a"), "") sink(p) // $ hasTaintFlow=a sink(p.component1()) // $ hasTaintFlow=a - sink(p.second) + sink(p.second) // $ SPURIOUS: hasTaintFlow=a sink(taint("b").capitalize()) // $ hasTaintFlow=b sink(taint("c").replaceFirstChar { _ -> 'x' }) // $ hasTaintFlow=c val t = Triple("", taint("d"), "") sink(t) // $ hasTaintFlow=d - sink(t.component1()) + sink(t.component1()) // $ SPURIOUS: hasTaintFlow=d sink(t.second) // $ hasTaintFlow=d val p1 = taint("e") to "" sink(p1) // $ hasTaintFlow=e sink(p1.component1()) // $ hasTaintFlow=e - sink(p1.second) + sink(p1.second) // $ SPURIOUS: hasTaintFlow=e val l = p.toList() sink(l) // $ hasTaintFlow=a @@ -50,12 +50,12 @@ class Test { val tv = TimedValue(taint("f"), Duration.parse("")) sink(tv) // $ hasTaintFlow=f sink(tv.component1()) // $ hasTaintFlow=f - sink(tv.duration) + sink(tv.duration) // $ SPURIOUS: hasTaintFlow=f val mg0 = MatchGroup(taint("g"), IntRange(0, 10)) sink(mg0) // $ hasTaintFlow=g sink(mg0.value) // $ hasTaintFlow=g - sink(mg0.component2()) + sink(mg0.component2()) // $ SPURIOUS: hasTaintFlow=g val iv = IndexedValue(5, taint("h")) sink(iv) // $ hasTaintFlow=h @@ -72,4 +72,4 @@ class Test { sink(x.index) } } -} \ No newline at end of file +}