Files
codeql/java/ql/test/library-tests/frameworks/android/widget/TestWidgetKt.kt.disabled
Chris Smowton cea90d535d Disable Kotlin element of test library-tests/frameworks/android/widget
This is disabled for now because Kotlin doesn't extract java.lang.CharSequence.toString, even though that interface redeclares toString, and JDK18 points a call (syntactically to Editable.toString) that previous JDKs pointed at
Object.toString. This produces a database inconsistency that should be fixed Kotlin-side.
2022-09-22 20:44:37 +01:00

17 lines
318 B
Plaintext

import android.text.Editable
class TestWidgetKt {
fun source() : Editable? { return null }
fun sink(sink : String) {}
fun test() {
val t = source()
sink(t.toString()); // $ hasTaintFlow
val t2 : Any? = source()
sink(t2.toString()); // $ MISSING: hasTaintFlow
}
}