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, 2022, Volume 34, Issue 6, Pages 7–28
DOI: https://doi.org/10.15514/ISPRAS-2022-34(6)-1 (Mi tisp735) 		 
This article is cited in 1 scientific paper (total in 1 paper)

Static analysis for languages with exception handling

V. O. Afanasyevab, V. V. Dvortsovaca, A. E. Borodina

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 (629 kB) Citations (1)
DOI: https://doi.org/10.15514/ISPRAS-2022-34(6)-1
Abstract: This paper describes static analysis for the languages with exception handling. A low level intermediate representation, which supports exceptions, is proposed in this study. Data flow analyses for unreachable code detection were described. А general scheme of static analysis that takes exception related paths into account was given. The algorithms were implemented as a part of the static analysis tool Svace for C++, Java and Kotlin languages.
Keywords: static analysis, search for defects, vulnerabilities, Java, Kotlin, C++, Svace, JVM
Document Type: Article
Language: Russian
Citation: V. O. Afanasyev, V. V. Dvortsova, A. E. Borodin, “Static analysis for languages with exception handling”, Proceedings of ISP RAS, 34:6 (2022), 7–28
Citation in format AMSBIB
\Bibitem{AfaDvoBor22}
\by V.~O.~Afanasyev, V.~V.~Dvortsova, A.~E.~Borodin
\paper Static analysis for languages with exception handling
\jour Proceedings of ISP RAS
\yr 2022
\vol 34
\issue 6
\pages 7--28
\mathnet{http://mi.mathnet.ru/tisp735}
\crossref{https://doi.org/10.15514/ISPRAS-2022-34(6)-1}
Linking options:
  • https://www.mathnet.ru/eng/tisp735
  • https://www.mathnet.ru/eng/tisp/v34/i6/p7
    • 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:9
    Full-text PDF :6
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024