• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
For visually-impairedFor visually-impairedUser profile (HSE staff only)Search
Advanced search
Menu
HSE University

Static Data Flow Analysis on Unified Abstract Syntax Tree for JVM Languages

Student: Izmailov Aleksandr

Supervisor: Alexey A. Mitsyuk

Faculty: Faculty of Computer Science

Educational Programme: Software Engineering (Bachelor)

Final Grade: 10

Year of Graduation: 2021

Data flow analysis is one of the most powerful tools used by integrated development environment for static code analysis. This tool allows understanding not only program structure but program behaviour too. It is impermissible to ignore such a tool while analysing programs written on Java and Kotlin, two vastly popular programming languages which used to solve similar problems. Because of the difference in syntaxes of Java and Kotlin, IntelliJ IDEA uses analysis, which abstracts from a specific language, and works with some common model of those languages. Furthermore, this factor makes it harder to use existing data flow analysis solutions. This paper covers the experience of current solutions and provides a framework for data flow analysis for Java and Kotlin at the same time, which allows developing new analysis tools for both languages more productively. The paper contains 52 pages, 3 chapters, 1 table, 6 images, 25 listings, 37 sources, and 6 applications. Keywords: data flow analysis, static analysis, Java, Kotlin, integrated development environment, abstract syntax tree

Full text (added May 26, 2021)

Student Theses at HSE must be completed in accordance with the University Rules and regulations specified by each educational programme.

Summaries of all theses must be published and made freely available on the HSE website.

The full text of a thesis can be published in open access on the HSE website only if the authoring student (copyright holder) agrees, or, if the thesis was written by a team of students, if all the co-authors (copyright holders) agree. After a thesis is published on the HSE website, it obtains the status of an online publication.

Student theses are objects of copyright and their use is subject to limitations in accordance with the Russian Federation’s law on intellectual property.

In the event that a thesis is quoted or otherwise used, reference to the author’s name and the source of quotation is required.

Search all student theses