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: Mark <clinit> as compiler-generated

Browse Source
This commit is contained in:
Ian Lynagh
2022-06-23 14:40:03 +01:00
parent c0600820ac
commit 50eeb47244
2 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt
View File

@@ -595,6 +595,8 @@ open class KotlinFileExtractor(
tw.writeMethods(clinitId, "<clinit>", "<clinit>()", returnType.javaResult.id, parentId, clinitId) tw.writeMethods(clinitId, "<clinit>", "<clinit>()", returnType.javaResult.id, parentId, clinitId)
tw.writeMethodsKotlinType(clinitId, returnType.kotlinResult.id) tw.writeMethodsKotlinType(clinitId, returnType.kotlinResult.id)
tw.writeCompiler_generated(clinitId, 4)
val locId = tw.getWholeFileLocation() val locId = tw.getWholeFileLocation()
tw.writeHasLocation(clinitId, locId) tw.writeHasLocation(clinitId, locId)

2
java/ql/lib/semmle/code/java/Element.qll
View File

@@ -53,6 +53,8 @@ class Element extends @element, Top {
i = 2 and result = "Generated data class member" i = 2 and result = "Generated data class member"
or or
i = 3 and result = "Default property accessor" i = 3 and result = "Default property accessor"
or
i = 4 and result = "Class initialisation method <clinit>"
) )
} }
} }