Search results

Initial Kotlin support

C#

depends on internal PRThis PR should only be merged in sync with an internal Semmle PRThis PR should only be merged in sync with an internal Semmle PR

documentation

Java

Kotlin

Status: Merged (completed).

github/codeqlnumber 9109

#9109 In github/codeql;

· by igfoo was closed on May 11, 2022

Kotlin: Add 1.8 support

documentation

Java

Kotlin

Status: Merged (completed).

github/codeqlnumber 11637

#11637 In github/codeql;

· by igfoo was closed on Jan 12, 2023

Kotlin: Enable java/misnamed-type query

documentation

Java

Kotlin

Status: Merged (completed).

github/codeqlnumber 11436

#11436 In github/codeql;

· by igfoo was closed on Nov 29, 2022

Kotlin: Avoid infinite recursion when extracting recursive interfaces

Java

Kotlin

Status: Merged (completed).

github/codeqlnumber 20726

#20726 In github/codeql;

· by igfoo was closed on Oct 31, 2025

Java: Limit the amount of results that MissingEnumInSwitch produces per switch

documentation

Java

Status: Merged (completed).

github/codeqlnumber 15961

#15961 In github/codeql;

· by igfoo was closed on Mar 28, 2024

Java: Replace @type with more specific types

documentation

Java

no-change-note-requiredThis PR does not need a change noteThis PR does not need a change note

Status: Merged (completed).

github/codeqlnumber 6921

#6921 In github/codeql;

· by igfoo was closed on Oct 25, 2021

Java: Fix RefType.getAStrictAncestor() in the presence of type hierarchy cycles

Java

no-change-note-requiredThis PR does not need a change noteThis PR does not need a change note

Status: Merged (completed).

github/codeqlnumber 9545

#9545 In github/codeql;

· by igfoo was closed on Jul 12, 2022

Java/Kotlin: Write Kotlin version information to the database

documentation

Java

Kotlin

Status: Merged (completed).

github/codeqlnumber 11217

#11217 In github/codeql;

· by igfoo was closed on Nov 14, 2022

Kotlin: Add a kotlin2 copy of the testsuite

Java

Status: Merged (completed).

github/codeqlnumber 14833

#14833 In github/codeql;

· by igfoo was closed on Nov 21, 2023

KE2: Start working on KtTypes

Java

Kotlin

Status: Merged (completed).

github/codeqlnumber 18031

#18031 In github/codeql;

· by igfoo was closed on Nov 22, 2024

Kotlin: Refactor extractTypeAccessRecursive

Java

Kotlin

Status: Closed (abandoned).

github/codeqlnumber 13210

#13210 In github/codeql;

· by igfoo was closed on May 25, 2023

Java: Don't use dbscheme tables in CloseType.qll

Java

no-change-note-requiredThis PR does not need a change noteThis PR does not need a change note

Status: Merged (completed).

github/codeqlnumber 6894

#6894 In github/codeql;

· by igfoo was closed on Oct 18, 2021