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

Динамический анализ программного обеспечения методами фаззинга и символьного исполнения
В.М. Антонова, А.В. Астрахов, Д.О. Куц, М.В. Мишечкин, А.А. Новиков
  • Год:
    2018
  • Тип издания:
    Методические указания
  • Объем:
    24 стр. / 1.5 п.л
  • Формат:
    60x90/16
  • ISBN:
    978-5-7038-4958-3
  • Читать Online

Ключевые слова: динамический анализ кода, лабораторная работа, программное обеспечение, сертификация, символьное исполнение, фаззинг

Представлены материалы для исследования процесса сертификации программного обеспечения. Приведены основные теоретические сведения, необходимые для проведения динамического анализа кода, а также описание процесса использования программного обеспечения, предназначенного для выполнения данного вида анализа.
Для студентов МГТУ им. Н.Э. Баумана, обучающихся по специальностям «Компьютерная безопасность», «Информационная безопасность телекоммуникационных систем», «Информационная безопасность автоматизированных систем», «Противодействие техническим разведкам».

ОГЛАВЛЕНИЕ

Предисловие
Введение
1. Основные теоретические сведения
1.1. Фаззинг
1.2. Символьное исполнение
2. Порядок выполнения работы
2.1. Описание инструментов
2.2. Задачи
Контрольные вопросы
Литература

Авторы работы: Антонова Вероника Михайловна, Астрахов Алексей Витальевич, Куц Даниил Олегович, Мишечкин Максим Владимирович, Новиков Александр Андреевич