hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-22 19:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Kotlin: give external extension properties with matching name and file distinct trap filenames

Browse Source
This commit is contained in:
Chris Smowton
2022-10-21 14:26:42 +01:00
parent 5e28e5a170
commit 42d6968c20
7 changed files with 29 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/integration-tests/posix-only/kotlin/external-property-overloads/test.expected Normal file
View File

@@ -0,0 +1,2 @@
| user.kt:3:22:3:22 | getF(...) | lib/lib/TestKt.class:0:0:0:0 | getF |
| user.kt:3:28:3:28 | getF(...) | lib/lib/TestKt.class:0:0:0:0 | getF |

7
java/ql/integration-tests/posix-only/kotlin/external-property-overloads/test.kt Normal file
View File

@@ -0,0 +1,7 @@
package lib
val String.f
get() = 1
val Int.f
get() = 2

4
java/ql/integration-tests/posix-only/kotlin/external-property-overloads/test.py Normal file
View File

@@ -0,0 +1,4 @@
from create_database_utils import *
runSuccessfully(["kotlinc", "test.kt", "-d", "lib"])
run_codeql_database_create(["kotlinc user.kt -cp lib"], lang="java")

4
java/ql/integration-tests/posix-only/kotlin/external-property-overloads/test.ql Normal file
View File

@@ -0,0 +1,4 @@
import java
from MethodAccess ma
select ma, ma.getCallee()

3
java/ql/integration-tests/posix-only/kotlin/external-property-overloads/user.kt Normal file
View File

@@ -0,0 +1,3 @@
import lib.f
fun test() = "hello".f + 1.f