bin2llvm

Bin2llvm Project

Это переводчик бинарного в LLVM на основе S2E. Он преобразует любой двоичный код в код LLVM. Полученный модуль LLVM содержит функции. Некоторые, детали потока управления восстанавливаются.

Обзор

Идея состоит в том, чтобы повторно использовать компоненты от S2E для достижения перевода в LLVM. Rougly, Qemu переводится с бинарного к TCG и S2E переводится от TCG в LLVM. Плагины были добавлены для выполнения рекурсивной разборки бинарного файла. Затем код RAW LLVM подается на набор внешних проходов LLVM. Цель этого шага состоит в том, чтобы добавить более подробную информацию об извлеченном коде, конкретно основные блоки сгруппированы в функции. Это в основном тестируется на архитектуре ARM. Bin2llvm - лучший инструмент усилий, он постарается перевести как можно больше, а затем связывать код LLVM в конечном файле.

Запуск изображения Docker

$ docker pull docker.io/cojocar/bin2llvm
$ # run one example binary
$ docker run --rm -t docker.io/cojocar/bin2llvm /bin/bash -c " /usr/local/bin2llvm/bin/bin2llvm.py --file /usr/local/bin2llvm/bin/ls-example "
$ # run the tests
$ docker run --rm -t docker.io/cojocar/bin2llvm /bin/bash -c " cd /usr/local/bin2llvm/tests; BIN2LLVM_INSTALL_DIR=/usr/local/bin2llvm make; " 

Как построить, установить и запустить с дерева источника

Зависимости

Проконсультируйтесь с DockerFile для списка зависимостей.

Здание (вне докера)

$ ./scripts/setup.sh # this will copy some dependencies in the third_party directory
$ ./scripts/build.sh ../bin2llvm-build
$ ./scripts/install.sh ../bin2llvm-build ../bin2llvm-install

(необязательно) Создание изображения Docker

$ ./scripts/build_docker.sh

Это приведет к bin2llvm-dev и на изображениях bin2llvm-release-squashed .

Бег

$ cd ../bin2llvm-install && ./bin/bin2llvm.py --file ./bin/ls-example
Press Ctrl+C
INFO:bin2llvm:Using /tmp/bin2llvm-W4yJvU as temp_dir
INFO:bin2llvm:Use entry: 0x00009a74
INFO:bin2llvm:Use entry: 0x00009fa8
INFO:bin2llvm:Use entry: 0x0000c470
INFO:bin2llvm:Use entry: 0x0000c4d0
INFO:bin2llvm:Use entry: 0x0000c514
INFO:bin2llvm:Use entry: 0x0000c560
....
INFO:bin2llvm:Use entry: 0x00000000
WARNING:bin2llvm:(passes) crashed with entry: 0x00000000
INFO:bin2llvm:FINAL output is in /tmp/bin2llvm-W4yJvU/final.bc (370 functions)

Код последнего бита ${OUT_DIR}/final.bc

Тестирование

$ cd ./tests && BIN2LLVM_INSTALL_DIR= $( realpath ../../bin2llvm-install ) make

См. Тестовый каталог для получения более подробной информации.

---

bin2llvm на практике

Следующие работы используют bin2llvm :

• Коакар, Люсиан, Таддеус Крой и Герберт Бос. «JTR: двоичное решение для восстановления переключения» Международный симпозиум по проектированию безопасного программного обеспечения и систем. Springer, Cham, 2017.
• Cojocar, Lucian, et al. «Пирог: идентификация анализатора во встроенных системах». Материалы 31 -й ежегодной конференции приложений компьютерной безопасности. ACM, 2015.