A Tool for Finding Defects in Python Programs Using Abstract Syntax Tree

Student: Vaschenkov Artur

Supervisor: Sergey S. Gaysaryan

Educational Programme: Software Engineering (Bachelor)

Year of Graduation: 2017

The research considers static code analysis tool for Python source code. The analyzer uses abstract syntax tree for finding defects. The paper describes the tool and its design including original checkers that have not been implemented before. Moreover, the study including testing of the system on open source projects and results evaluation. The evaluation will be useful for developers of ISP RAS. The study will be a part of existing “TIRPAN” static code analyzer focusing on problems related to type inference. The project could be extended by any checkers written in Python according to developed program interface. Thus, the system could be used to test new checkers for Python.

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