ИСТИНА

Качественное решение практических задач компьютерной безопасности, связанных с изучением свойств исполняемого (бинарного) кода, редко обходится без динамического анализа. Если для некоторых приложений достаточно контролировать работу только пользовательского кода (внедрив в него инструментальный код, эмулируя или перехватывая обращения к библиотекам и ОС), то для многих классов программ, таких как драйвера и ядро ОС, гипервизоры и другое системное ПО, требуется применение полносистемного программного эмулятора в качестве среды контролируемого выполнения. Эмулятор с открытым исходным кодом QEMU стал базовым средством для создания многих инструментов анализа безопасности ПО, полностью вынесенных из гостевой системы и реализованных в виде подключаемого модуля на уровне программного эмулятора. Однако остается множество открытых проблем, связанных как с анализом во время выполнения кода, так и с длительность разработки новых ВМ. Для преодоления данных проблем в ИСП РАН создана инструментальная среда разработки виртуальных машин для эмулятора QEMU. Инструменты автоматизируют создание декодера команд целевого процессора на основе документации на естественном языке, автоматизируют создание транслятора во внутреннее представление QEMU.