Исследование и разработка прототипа инструмента анализа исполняемого кода программ для обнаружения ошибок.

Исследование и разработка прототипа инструмента анализа исполняемого кода программ для обнаружения ошибок.

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

В рамках проведенных работ были разработаны методы анализа бинарного кода, нацеленные на решение следующих задач.

1. Обеспечение работы динамического анализа программ, взаимодействующих по сети.
2. Анализ помеченных данных на уровне бинарного кода в рамках всей вычислительной системы (включая код ОС и других процессов).
3. Принципиальное сокращение числа анализируемых состояний во время символьной интерпретации бинарного кода.
4. Формальное описание срабатывания эксплуатируемой ошибки на уровне бинарного кода.

Разработанные методы были реализованы как модули-расширения (компоненты) интегрированной среды анализа бинарного кода. Была проведена апробация методов на Интернет-навигаторе Mozilla.

Исполнитель

Компиляторные технологии