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

14 сентября 2018
437
Предметная область
Выходные данные
Ключевые слова
Вид публикации Статья
Контактные данные автора публикации
Ссылка на публикацию в интернете www.ispras.ru/technologies/binside/

Аннотация

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