Динамический анализ программного обеспечения методами фаззинга и символьного исполнения

Федеральное государственное бюджетное  
образовательное учреждение высшего образования  
«Московский государственный технический университет имени Н.Э. Баумана  
(национальный исследовательский университет)»
Динамический анализ  
программного обеспечения  
методами фаззинга  
и символьного исполнения
Методические указания  
к выполнению лабораторной работы № 
2

УДК	681.31
ББК	32.973-018.2
	
Д46
Издание доступно в электронном виде на портале ebooks.bmstu.ru
по адресу: http://ebooks.bmstu.press/catalog/274/book1874.html
Факультет «Информатика и системы управления»
Кафедра «Защита информации»
Рекомендовано Редакционно-издательским советом 
МГТУ им. Н.Э. Баумана в качестве учебно-методического пособия 
Авторы:
В.М. Антонова, А.В. Астрахов, Д.О. Куц, 
М.В. Мишечкин, А.А. Новиков
	
	
Динамический анализ программного обеспечения методами
Д46 	фаззинга и символьного исполнения. Методические указания 

	
к выполнению лабораторной работы № 2 / [В. М. Антонова 

 	
и др.]. — Москва : Издательство МГТУ им. Н. Э. Баумана, 

	
2018. — 20, [4] с. : ил.
ISBN 978-5-7038-4958-3
Представлены материалы для исследования процесса сертификации программного обеспечения. Приведены основные теоретические 
сведения, необходимые для проведения динамического анализа кода, 
а также описание процесса использования программного обеспечения, 
предназначенного для выполнения данного вида анализа. 
Для студентов МГТУ им. Н.Э.  Баумана, обучающихся по специальностям «Компьютерная безопасность», «Информационная безопасность телекоммуникационных систем», «Информационная безопасность 
автоматизированных систем», «Противодействие техническим разведкам».
УДК 681.31
ББК 32.973-018.2
	
©	 МГТУ им. Н.Э. Баумана, 2018
	
©	 Оформление. Издательство 
ISBN 978-5-7038-4958-3	
	
МГТУ им. Н.Э. Баумана, 2018

Предисловие
В издании приведены основные теоретические сведения и описание программного обеспечения, необходимые для выполнения 
лабораторной работы №  2 по дисциплине «Сертификационные 
испытания программного обеспечения».
Цель лабораторной работы — получение навыков работы с 
инструментами динамического анализа AFL Fuzz и Avalanche.
Отчет по лабораторной работе должен содержать:
•
• название и цель работы;
•
• задание на выполнение работы;
•
• полученные результаты; для задач 1 и 3 требуется представить 
заполненные таблицы и графические иллюстрации;
•
• анализ полученных результатов и выводы по проделанной 
работе;
•
• ответы на контрольные вопросы.
Данная работа проводится в 11-м семестре, на 6-м году обучения, на ее выполнение отводится 4 академических часа. Отчет 
сдается в электронном или распечатанном виде. Положительным 
результатом является анализ тестовой программы.
В издании представлены задачи и порядок их осуществления, 
а также требования к оформлению лабораторной работы. В процессе ее выполнения студенты знакомятся с понятиями фаззинга 
и символьного исполнения.
Данная работа поможет студентам в закреплении дисциплин 
«Моделирование систем» и «Информационный поиск и анализ 
данных». В результате выполнения лабораторной работы студенты 
приобретут знания и практические умения в области анализа 
программного обеспечения, а также следующие компетенции 
(предусмотрены основной профессиональной образовательной 
программой, утвержденной ФГОС ВО, по подготовке студентов по специальностям 10.05.01 «Компьютерная безопасность», 
10.05.02 «Информационная безопасность телекоммуникационных систем», 10.05.03 «Информационная безопасность автоматизированных систем», 10.05.07 «Противодействие техническим 
разведкам»):
3