Разработка методов гибридного фаззинга для приложений процессорных архитектур Байкал-М и RISС-V 64

Объект: динамический анализ бинарного кода архитектур Байкал-М (AArch64) и RISC-V 64. Цель: разработка методов динамической символьной интерпретации бинарного кода архитектур Байкал-М (AArch64) и RISC-V 64, обеспечивающих возможность анализа косвенной адресации и применимых в контексте гибридного фаззинга. Методы исследования: методы динамической символьной интерпретации, теория алгоритмов, теория множеств и математическая логика. Результаты: 1. Был разработан метод динамической символьной интерпретации бинарного кода программ архитектуры Байкал-М (AArch64). 2. Был разработан метод символьной интерпретации набора целочисленных инструкций архитектуры RISC-V, включающего сокращенные инструкции и псевдоинструкции. 3. Был разработан метод динамической символьной интерпретации бинарного кода программ архитектуры RISC-V 64. 4. Были реализованы алгоритмы определения возможных направлений косвенных переходов для бинарного кода архитектур Байкал-М (AArch64) и RISC-V 64. 5. Разработанные методы были реализованы в инструментах Triton и Sydr, а также была проведена оценка их эффективности. Внедрение: разработанные методы динамической символьной интерпретации были внедрены в процессы безопасной разработки ООО "Фобос-НТ" и ООО "Лаборатория безопасности", а также они используются в Центре ДИИ ИСП РАН. Область применения: жизненный цикл РБПО, динамический анализ, гибридный фаззинг, динамическая символьная интерпретация, анализ бинарного кода.