ОТЧЕТ «Исследование и разработка программной инфраструктуры для анализа бинарного кода, настраиваемой по целевой процессорной архитектуре» по проекту РФФИ 18-07-01256 (промежуточный отчёт 2 периода).

Целью проекта является создание универсальной инфраструктуры анализа бинарного кода, которая может применяться в качестве базового компонента в широком спектре инструментов анализа и при этом обеспечивать независимость таких инструментов от целевой процессорной архитектуры анализируемого бинарного кода за счет декодирования машинных команд и их трансляции в машинно-независимое промежуточное представление. В рамках второго года Проекта воплощена в виде программного компонента разработанная на первом году модель декодирования машинных команд по внешним спецификациям. Декодированные команды представляются в оригинальном виде, который является универсальным для всех поддерживаемых целевых процессорных архитектур. Реализация основывается на абстрактной стековой машине, которая управляется задаваемыми в спецификациях правилами. Реализация включает транслятор с языка спецификаций, который осуществляет построение и оптимизацию структуры правил декодирования. Разработаны частичные спецификации для процессорных архитектур x86, RISC-V, PowerPC. Реализована трансляция декодированных команд в разработанное на первом году машинно-независимое промежуточное представление. Разработана и реализована подсистема абстрактной интерпретации поверх промежуточного представления. На базе этой подсистемы реализованы компоненты инфраструктуры анализа, обеспечивающие конкретную интерпретацию (эмуляцию или повторное выполнение команд) и динамический анализ вдоль заданного пути. Последняя задача решается при помощи оригинального подхода, использующего декартово произведение нескольких абстрактных интерпретаций, одна из которых является «направляющей», т.е. задает путь для анализа. Начата работа по подготовке Интернет-ресурса с документацией для реализованных программных компонентов и базой спецификаций целевых процессорных архитектур.