Developing a Summary Based Static Analysis for Finding Source-Sink Program Errors

Student: Vitaly Afanasyev

Supervisor:

Educational Programme: System Programming (Master)

Year of Graduation: 2024

This paper is dedicated to the static analysis of programs for finding source-sink program errors. The dissertation considers the classification of the most common errors of this type. Approaches to the implementation of interprocedural static analysis for solving this problem are considered, such as: summary-based analysis, top-down analysis and hybrid analysis that combines both approaches. A description is given of the software implementation of the source-receiver error search algorithm based on the Svace static analyzer, combining summary-based analysis and top-down analysis. The results of the comparative analysis are provided, on the basis of which it was concluded that the proposed implementation demonstrates better recall of the analysis than the analysis based on the summary.

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