hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

Kotlin: don't try to call nonexistent j.l.Number.toChar

Browse Source 
Previously we thought this could be callable because Kotlin's view of `j.l.Integer` inherits `k.Number` which defines `toChar`.
This commit is contained in:
Chris Smowton
2022-10-25 17:09:05 +01:00
parent 3d025ea77e
commit 004f4be5fb
5 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
java/ql/test/kotlin/library-tests/call-int-to-char/CONSISTENCY/javaEquivalent.expected Normal file
View File

@@ -0,0 +1 @@
| file://:0:0:0:0 | Couldn't find a Java equivalent function to kotlin.Int.toChar in java.lang.Integer |

1
java/ql/test/kotlin/library-tests/call-int-to-char/test.expected Normal file
View File

@@ -0,0 +1 @@
| test.kt:1:19:1:26 | toChar(...) |

1
java/ql/test/kotlin/library-tests/call-int-to-char/test.kt Normal file
View File

@@ -0,0 +1 @@
fun f(x: Int) = x.toChar()

4
java/ql/test/kotlin/library-tests/call-int-to-char/test.ql Normal file
View File

@@ -0,0 +1,4 @@
import java
from MethodAccess ma
select ma