Kotlin from the Point of View of Static Analysis Developer

This paper describes a static analysis tool for finding defects, analyzing metrics and relations for programs written in the Kotlin language. The approach is implemented in the Svace static analyzer developed at the Ivannikov Institute for System Programming of the Russian Academy of Sciences. The p...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Programming and computer software Jg. 49; H. 7; S. 549 - 558
Hauptverfasser: Afanasyev, V. O., Polyakov, S. A., Borodin, A. E., Belevantsev, A. A.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Moscow Pleiades Publishing 01.12.2023
Springer Nature B.V
Schlagworte:
Artificial Intelligence
Automation
Computer Science
Java
Language
Libraries
Operating Systems
Software Engineering
Software Engineering/Programming and Operating Systems
JVM
bytecode
metric analysis
static analysis
defect search
vulnerabilities
Kotlin
ISSN:0361-7688, 1608-3261
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper describes a static analysis tool for finding defects, analyzing metrics and relations for programs written in the Kotlin language. The approach is implemented in the Svace static analyzer developed at the Ivannikov Institute for System Programming of the Russian Academy of Sciences. The paper focuses on the problems we faced during the implementation, the approaches we used to solve them, and the experimental results for the tool we built. The tool not only supports Kotlin but is also capable of analyzing mixed projects that use both Java and Kotlin. We hope that this paper will be useful to static analysis developers and language designers.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0361-7688
1608-3261
DOI:10.1134/S0361768823070022