Proceedings of the Institute for System Programming of the RAS
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Proceedings of ISP RAS:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Proceedings of the Institute for System Programming of the RAS, 2021, Volume 33, Issue 6, Pages 67–82
DOI: https://doi.org/10.15514/ISPRAS-2021-33(6)-5 (Mi tisp646) 		 
This article is cited in 1 scientific paper (total in 1 paper)

Kotlin from the perspective of a static analyzer developer

V. O. Afanasyevab, S. A. Polyakova, A. E. Borodina, A. A. Belevancevac

a Ivannikov Institute for System Programming of the RAS
b National Research University Higher School of Economics
c Lomonosov Moscow State University
Full-text PDF (504 kB) Citations (1)
DOI: https://doi.org/10.15514/ISPRAS-2021-33(6)-5
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.
Document Type: Article
Language: Russian
Citation: V. O. Afanasyev, S. A. Polyakov, A. E. Borodin, A. A. Belevancev, “Kotlin from the perspective of a static analyzer developer”, Proceedings of ISP RAS, 33:6 (2021), 67–82
Citation in format AMSBIB
\Bibitem{AfaPolBor21}
\by V.~O.~Afanasyev, S.~A.~Polyakov, A.~E.~Borodin, A.~A.~Belevancev
\paper Kotlin from the perspective of a static analyzer developer
\jour Proceedings of ISP RAS
\yr 2021
\vol 33
\issue 6
\pages 67--82
\mathnet{http://mi.mathnet.ru/tisp646}
\crossref{https://doi.org/10.15514/ISPRAS-2021-33(6)-5}
Linking options:
  • https://www.mathnet.ru/eng/tisp646
  • https://www.mathnet.ru/eng/tisp/v33/i6/p67
    • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Proceedings of the Institute for System Programming of the RAS
    Statistics & downloads:
    Abstract page:28
    Full-text PDF :10
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024