Создание базы спецификаций форматов данных и их уточнение на основе анализа набора трасс программ

Обратная инженерия протоколов – процесс извлечения спецификаций форматов данных и восстановление состояний из сетевого трафика или программ, которые реализуют данный протокол. Задача восстановления спецификации протокола возникает в контексте информационной безопасности, например, тестирование методом черного ящика с использованием фаззинга, описание принципа работы вредоносных программ, проведение глубокого исследования сетевых пакетов для обнаружения и предотвращения вторжений. Решение задачи вручную становится практически невозможным, если разработчики применяют защитные механизмы. Данная работа предлагает автоматизированный способ для решения задачи восстановления формата данных, в основе которого лежит динамический подход к анализу бинарного кода с использованием трасс исполнения. Рассматриваются альтернативные подходы к решению данной задачи, проводится оценка преимуществ и недостатков каждого из них. Разработаны и реализованы методы для преодоления недостатков выбранного подхода и получения более точных результатов.