Разработка статического анализа на основе резюме для поиска программных ошибок типа «источник-приемник»

ФИО студента: Афанасьев Виталий Олегович

Руководитель: Белеванцев Андрей Андреевич

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

Программа: Системное программирование (Магистратура)

Год защиты: 2024

Работа посвящена статическому анализу программ для поиска программных ошибок типа ''источник-приёмник''. В диссертации рассмотрена классификация наиболее распространённых ошибок данного типа. Рассмотрены подходы к реализацию межпроцедурного статического анализа для решения данной задачи, такие как: анализ на основе резюме, анализ ''сверху-вниз'' и гибридный анализ, совмещающий два подхода. Приведено описание программной реализации алгоритма поиска ошибок типа ''источник-приёмник'' на базе статического анализатора Svace, совмещающая анализ на основе резюме и анализ ''сверху-вниз''. Проведён сравнительный анализ, на основе которого был сделан вывод, что предложенная реализация демонстрирует большую полноту анализа, чем анализ на основе резюме.

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

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

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

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

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

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