Исследование и разработка программной инфраструктуры для анализа бинарного кода, настраиваемой по целевой процессорной архитектуре. Проект РФФИ 18-07-01256.

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