This article is cited in 1 paper

Kotlin from the perspective of a static analyzer developer

V. O. Afanasyev^ab, S. A. Polyakov^a, A. E. Borodin^a, A. A. Belevancev<sup>ac

a</sup> Ivannikov Institute for System Programming of the RAS
^b National Research University Higher School of Economics
^c Lomonosov Moscow State University

Abstract: The paper describes a static analysis for finding defects and computing metrics for programs written in the Kotlin language. The analysis is implemented in the Svace static analyzer developed at ISP RAS. The paper focuses on the problems we met during implementation, the approaches we used to solve them, and the experimental results for the tool we have built. The analyzer supports not only Kotlin analysis, but is also capable of analyzing mixed projects that use both Java and Kotlin languages. We hope that the paper might be useful to static analysis developers and language designers.

Keywords: static analysis, search for defects, vulnerabilities, Kotlin, JVM, bytecode.

DOI: 10.15514/ISPRAS-2021-33(6)-5