Simplified Approach to Interproсedural Analysis for Static Detection of Access to None-values in Python Programs

Student: Gilmanova Elina

Educational Programme: Software Engineering (Bachelor)

Final Grade: 8

Year of Graduation: 2016

This paper is dedicated to static analysis of source code written in Python programming language. In this work basic static analysis methodologies and classifications are presented, overviewed intraprocedural and interprocedural approaches to static analysis. Defined Python language static analysis specifications related to dynamic type system. The aim of the work was to develop a checker module of static analysis for None-type related errors for the project TIRPAN (Institute for System Programming of the Russian Academy of Sciences development). This static analysis module provides project evaluation of None-type related errors before the stage of program execution. The paper contains 44 pages, 4 chapters, 10 illustrations, 6 tables, 22 bibliography items, 4 appendices. Keywords: static analysis, dynamic typing, interprocedural analysis, Python, None.

Full text (added May 27, 2016)

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