Инструмент поиска дефектов в программах на языке Python по абстрактному дереву синтаксиса

ФИО студента: Ващенков Артур Евгеньевич

Руководитель: Гайсарян Сергей Суренович

Кампус/факультет: Факультет компьютерных наук

Программа: Программная инженерия (Бакалавриат)

Год защиты: 2017

В исследовании рассматривается инструмент статического анализа кода для программ на языке Python. Разработанный анализатор использует абстрактное синтаксическое дерево для поиска дефектов. В работе описывается функциональность инструмента и его архитектура, включая несколько детекторов ошибок, которые ранее не были реализованы в существующих продуктах-аналогах. Кроме этого, исследование, включает тестирование системы на проектах с открытым исходным кодом и оценку результатов. Оценка будет полезна для разработчиков ИСП РАН. Исследование будет дополнять существующий проект анализатора статического кода TIRPAN, ориентированного на проблемы, связанные с типом вывода. Проект может быть расширен произвольными детекторами программных дефектов, написанными на Python в соответствии с разработанным программным интерфейсом. Таким образом, система может быть использована для тестирования пользовательских детекторов для программ на языке Python, использующих абстрактное синтаксическое дерево для поиска дефектов.

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ