bin2llvm

BIN2LLVM项目

这是一个基于S2E的二进制二进制转换器。它将任何二进制代码转换为LLVM代码。所得的LLVM模块包含功能。有些，控制流详细信息将恢复。

概述

这个想法是将组件从S2E重用，以实现转换为LLVM。 ROGLY，QEMU从二进制转换为TCG，S2E从TCG转换为LLVM。添加插件以执行二进制的递归拆卸。然后将原始LLVM代码馈送到一组外部LLVM通过。这些步骤的目的是添加有关提取的代码的更多详细信息，具体来说，基本块在功能中分组。它主要在手臂建筑上进行测试。 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 ：

• Cojocar，Lucian，Taddeus Kroes和Herbert Bos。 “ JTR：用于开关案例恢复的二进制解决方案”国际工程安全软件和系统研讨会。施普林格，Cham，2017年。
• Cojocar，Lucian等。 “ PIE：嵌入式系统中的解析器识别。”第31届年度计算机安全应用会议会议论文集。 ACM，2015年。