hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 10:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Kotlin: Mangle names of internal functions to match JVM symbols

Browse Source
This commit is contained in:
Chris Smowton
2022-06-30 21:46:55 +01:00
parent 83fd9c3b3e
commit dd93062101
16 changed files with 105 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/ql/consistency-queries/visibility.ql
View File

@@ -18,5 +18,6 @@ where
m.getFile().isKotlinSourceFile() and
// TODO: This ought to have visibility information
not m.getName() = "<clinit>" and
count(visibility(m)) != 1
count(visibility(m)) != 1 and
not (count(visibility(m)) = 2 and visibility(m) = "public" and visibility(m) = "internal") // This is a reasonable result, since the JVM symbol is declared public, but Kotlin metadata flags it as internal
select m, concat(visibility(m), ", ")

9
java/ql/integration-tests/posix-only/kotlin/module_mangled_names/User.java Normal file
View File

@@ -0,0 +1,9 @@
public class User {
public static int test(Test1 test1, Test2 test2, Test3 test3) {
return test1.f$main() + test2.f$mymodule() + test3.f$reservedchars___();
}
}

4
java/ql/integration-tests/posix-only/kotlin/module_mangled_names/test.expected Normal file
View File

@@ -0,0 +1,4 @@
| User.java:3:21:3:24 | test |
| test1.kt:3:12:3:22 | f$main |
| test2.kt:3:12:3:22 | f$mymodule |
| test3.kt:3:12:3:22 | f$reservedchars___ |

3
java/ql/integration-tests/posix-only/kotlin/module_mangled_names/test.py Normal file
View File

@@ -0,0 +1,3 @@
from create_database_utils import *
run_codeql_database_create(["kotlinc test1.kt", "kotlinc test2.kt -module-name mymodule", "kotlinc test3.kt -module-name reservedchars\\\"${}/", "javac User.java -cp ." ], lang="java")

5
java/ql/integration-tests/posix-only/kotlin/module_mangled_names/test.ql Normal file
View File

@@ -0,0 +1,5 @@
import java
from Method m
where m.fromSource()
select m

5
java/ql/integration-tests/posix-only/kotlin/module_mangled_names/test1.kt Normal file
View File

@@ -0,0 +1,5 @@
public class Test1 {
internal fun f() = 1
}

5
java/ql/integration-tests/posix-only/kotlin/module_mangled_names/test2.kt Normal file
View File

@@ -0,0 +1,5 @@
public class Test2 {
internal fun f() = 2
}

5
java/ql/integration-tests/posix-only/kotlin/module_mangled_names/test3.kt Normal file
View File

@@ -0,0 +1,5 @@
public class Test3 {
internal fun f() = 3
}

11
java/ql/test/kotlin/library-tests/internal-public-alias/User.java Normal file
View File

@@ -0,0 +1,11 @@
public class User {
public static int test(Test t) {
t.setInternalVar$main(t.getInternalVal$main());
return t.internalFun$main();
}
}

6
java/ql/test/kotlin/library-tests/internal-public-alias/test.expected Normal file
View File

@@ -0,0 +1,6 @@
| User.java:3:21:3:24 | test |
| test.kt:3:12:3:30 | getInternalVal$main |
| test.kt:6:3:6:36 | getInternalVal |
| test.kt:8:12:8:30 | getInternalVar$main |
| test.kt:8:12:8:30 | setInternalVar$main |
| test.kt:10:12:10:32 | internalFun$main |

12
java/ql/test/kotlin/library-tests/internal-public-alias/test.kt Normal file
View File

@@ -0,0 +1,12 @@
public class Test {
internal val internalVal = 1
// Would clash with the internal val's getter without name mangling and provoke a database inconsistency:
fun getInternalVal() = internalVal
internal var internalVar = 2
internal fun internalFun() = 3
}

5
java/ql/test/kotlin/library-tests/internal-public-alias/test.ql Normal file
View File

@@ -0,0 +1,5 @@
import java
from Method m
where m.fromSource()
select m

2
java/ql/test/kotlin/library-tests/methods/methods.expected
View File

@@ -42,7 +42,7 @@ methods
| methods.kt:5:1:20:1 | Class | methods.kt:14:12:14:29 | publicFun | publicFun() | public | |
| methods.kt:5:1:20:1 | Class | methods.kt:15:15:15:35 | protectedFun | protectedFun() | protected | |
| methods.kt:5:1:20:1 | Class | methods.kt:16:13:16:31 | privateFun | privateFun() | private | |
| methods.kt:5:1:20:1 | Class | methods.kt:17:14:17:33 | internalFun | internalFun() | internal | |
| methods.kt:5:1:20:1 | Class | methods.kt:17:14:17:33 | internalFun$main | internalFun$main() | internal | |
| methods.kt:5:1:20:1 | Class | methods.kt:18:5:18:36 | noExplicitVisibilityFun | noExplicitVisibilityFun() | public | |
| methods.kt:5:1:20:1 | Class | methods.kt:19:12:19:29 | inlineFun | inlineFun() | inline, public | |
constructors

2
java/ql/test/kotlin/library-tests/modifiers/modifiers.expected
View File

@@ -11,7 +11,7 @@
| modifiers.kt:4:5:4:22 | c | Field | final |
| modifiers.kt:4:5:4:22 | c | Field | private |
| modifiers.kt:4:5:4:22 | c | Property | internal |
| modifiers.kt:4:14:4:22 | getC | Method | internal |
| modifiers.kt:4:14:4:22 | getC$main | Method | internal |
| modifiers.kt:5:5:5:34 | d | Field | final |
| modifiers.kt:5:5:5:34 | d | Field | private |
| modifiers.kt:5:5:5:34 | d | Property | public |

2
java/ql/test/kotlin/library-tests/properties/properties.expected
View File

@@ -45,7 +45,7 @@ fieldDeclarations
| properties.kt:35:5:35:32 | privateProp | properties.kt:35:13:35:32 | getPrivateProp$private | file://:0:0:0:0 | <none> | properties.kt:35:5:35:32 | privateProp | private |
| properties.kt:36:5:36:36 | protectedProp | properties.kt:36:15:36:36 | getProtectedProp | file://:0:0:0:0 | <none> | properties.kt:36:5:36:36 | protectedProp | protected |
| properties.kt:37:5:37:30 | publicProp | properties.kt:37:12:37:30 | getPublicProp | file://:0:0:0:0 | <none> | properties.kt:37:5:37:30 | publicProp | public |
| properties.kt:38:5:38:34 | internalProp | properties.kt:38:14:38:34 | getInternalProp | file://:0:0:0:0 | <none> | properties.kt:38:5:38:34 | internalProp | internal |
| properties.kt:38:5:38:34 | internalProp | properties.kt:38:14:38:34 | getInternalProp$main | file://:0:0:0:0 | <none> | properties.kt:38:5:38:34 | internalProp | internal |
| properties.kt:67:1:67:23 | constVal | properties.kt:67:7:67:23 | getConstVal | file://:0:0:0:0 | <none> | properties.kt:67:1:67:23 | constVal | public |
| properties.kt:70:5:70:16 | prop | properties.kt:70:5:70:16 | getProp | file://:0:0:0:0 | <none> | properties.kt:70:5:70:16 | prop | public |
| properties.kt:78:1:79:13 | x | properties.kt:79:5:79:13 | getX | file://:0:0:0:0 | <none> | file://:0:0:0:0 | <none> | public |