• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
ФИО студента
Название работы
Руководитель
Факультет
Программа
Оценка
Год защиты
Мельниченко Пётр Валерьевич
Инструмент статической верификации предусловий корректности обращения к памяти в ядре ОС Linux
2018
В данной работе реализован метод статического анализа для верификации корректности работы с памятью в модулях ядра Linux. Анализ ядра Linux целиком является вычислительно сложной задачей из-за его большого размера. Используемый метод разбивает задачу на анализ отдельного модуля Linux и анализ всех функций основной части ядра, опираясь на существующие статические анализаторы. Разработанная система анализа извлекает информацию о поведении функций ядра, вызываемых из модулей, включающую предусловия валидности разыменуемых указателей. При анализе модуля ядра извлечённая информации об используемых в нём функциях транслируется в код, моделирующий их поведение, который встраивается в код модуля. Благодаря этому обнаруживаются новые ошибки доступа к памяти не только внутри самого модуля, но и при вызовах функций ядра, работающих с памятью.

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

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

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

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

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

Расширенный поиск ВКР