• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Версия для слабовидящихЛичный кабинет сотрудника ВШЭПоискМеню

Исследование и разработка методов динамического анализа для определения входных данных влияющих на выполнение условных переходов

ФИО студента: Дьячков Леонид Андреевич

Руководитель: Петренко Александр Константинович

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

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

Оценка: 10

Год защиты: 2019

В настоящее время фаззинг-тестирование —— активно развивающийся метод для поиска ошибок в программном обеспечении. Тем не менее, у него имеется ряд недостатков, в частности достижение некоторых фрагментов кода может быть затруднено. Одним из способов решения этой проблемы может быть передача фаззеру информации о влиянии входных данных на выполнение условных переходов. Для получения этой информации предлагается воспользоваться методами динамического анализа. В данной работе проводится обзор подходящих средств динамического анализа, а также предлагаются два подхода к решению поставленной задачи. Первый подход основан на динамическом символьном выполнении, для него предлагается метод с программной реализацией на основе инструмента Angr, протестированный на искуственных примерах. Второй подход основывается на динамическом анализе помеченных данных, для него предлагается метод на основе инструмента gentrace из проекта Moflow, а также соответствующие доработки данного инструмента. Полученное решение протестировано на программах из набора LAVA и проектах с открытым исходным кодом.

Текст работы (работа добавлена 30 мая 2019 г.)

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

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

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

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

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

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