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

Бинарный статический анализ необходим в тех случаях, когда нет доступа к исходному коду, например, при анализе библиотек. Статический анализатор бинарного кода разрабатывается на основе фреймворка BinNavi. Для удобства пользователя анализатор интегрирован в IDA PRO. Поддерживается анализ бинарных файлов и библиотек архитектур x86, x64, ARM, PowerPC и MIPS. Бинарный файл дизассемблируется и передается BinNavi. BinNavi, переводит ассемблерный код в собственное представление, называемое REIL. Представление REIL содержит семнадцать инструкций без побочных эффектов. Каждая ассемблерная инструкция транслируется в набор из REIL инструкций. Язык промежуточного представления REIL позволяет анализировать код независимо от процессорной архитектуры и операционной системы, для которых была написана программа. Кроме того, BinNavi обеспечивает навигацию по графам потока управления, графам потока данных и графу вызовов программы. В рамках анализатора бинарного кода реализован плагин для статического анализа патчей программ.