AwesomeREA.org

工具

Rellic LLVM bitcode 转 C 反编译器

Trail of Bits 对 No More Gotos 论文中模式无关结构化算法的实现，可把 LLVM bitcode 转换为不含 goto 的 C 代码，定位为小巧、易于修改且能与 LLVM 和 Remill 互操作的反编译器后端。rellic-decomp 批量将 bitcode 模块转换为 C；rellic-xref 提供 Web 界面，可选择要应用的细化遍，并将 C AST 节点与生成它的 bitcode 相互对应；rellic-headergen 根据模块中的 DWARF 元数据生成描述数据结构布局的 C 代码。机器码须先由其他工具提升为 bitcode；仓库附带的 IDA 脚本借助 Anvill 完成这一步。

使用条件与局限

  • 审阅时最新版本为 v0.2.3，发布于 2023-04-04，提供基于 LLVM 15 的构建：Ubuntu 20.04 的 deb 与 tgz 包，以及 macOS 11 的 tgz 包。所审阅的 master 提交（2025-11-03）比该版本多 13 个提交，内容是注释掉 AnghaBench CI 定时任务；此前的代码提交日期为 2024 年 4 月。本条目固定该提交仅用于引用文档。
  • README 称支持 Linux，并在 Ubuntu 22.04 上测试过，另外也说明了 macOS 上的构建方法。构建需要 CMake 3.21+、LLVM 与 Clang 16、Z3 4.7.1+、gflags 和 glog，其中大部分可由 Trail of Bits 预构建的 cxx-common 包提供；scripts/build.sh 会下载其余依赖并生成 deb 包。Docker Hub 和 GitHub Package Registry 上的 Docker 镜像按 Ubuntu 与 LLVM 版本区分。
  • 输入为与反编译器使用相同 LLVM 版本构建的 LLVM bitcode 模块。C 源码可用 clang -emit-llvm 编译得到，而可执行文件需借助 Remill 或 Anvill 等独立提升器处理。README 示例中输出的控制流和变量类型与原始源码不同；其 AnghaBench 1,000 个程序的测试只检查 bitcode 能否转换为 C，不检查结果的可读性或行为。
  • Apache-2.0 许可证。往返测试将 C 编译为 IR 再转回 C，检查结果能否构建且行为与原程序大致相同；这些测试未运行，本次也未反编译任何内容。rellic-xref 默认监听所有地址的 80 端口。

关于此条目

类型
工具
类别
二进制分析库
关联
基础工具
目标
二进制

来源复核于

说明已依据一手来源复核；这不代表已运行验证、经过安全审计或确认兼容。

一手来源

  1. README.md GitHub · lifting-bits/rellic · 修订 370abaa
  2. README.md#L179-L326 GitHub · lifting-bits/rellic · 修订 370abaa
  3. docs/NoMoreGotos.pdf GitHub · lifting-bits/rellic · 修订 370abaa
  4. tools/xref/README.md GitHub · lifting-bits/rellic · 修订 370abaa
  5. tools/headergen/README.md GitHub · lifting-bits/rellic · 修订 370abaa
  6. tools/plugins/ida-rellic.py GitHub · lifting-bits/rellic · 修订 370abaa
  7. CMakeLists.txt GitHub · lifting-bits/rellic · 修订 370abaa
  8. LICENSE GitHub · lifting-bits/rellic · 修订 370abaa
  9. https://github.com/lifting-bits/rellic/releases/tag/v0.2.3
  10. https://github.com/lifting-bits/rellic/compare/v0.2.3...370abaad86ae5adad82f85b81aff14557462b7f2