案例
Larax & Zaco：REA 导出的证据库与部分例程恢复
作者使用 REA 6.3.0 与 Ghidra，为 DOS 共享软件 LEZAC.EXE 中发现的全部 215 个过程导出档案、伪代码和汇编，再将其中少量例程恢复为 Pascal 和可移植 C。恢复的代码以原 x86 指令为对照进行测试，固定版本的 DOSBox-X 基线记录了原游戏的运行情况。README 将成果界定为分析档案和少量恢复例程；尚无可游玩或逐位一致的重建，恢复代码也不是原作者的源码。
- 目标
- 二进制 · 游戏
- 类别
- REA 社区调查案例
- 关联
- 作者报告的混合工具流程
- 来源复核于
- 星标
- 0
- 最近提交
- 2026-10-19
- 主要语言
- Python
GitHub 数据，截至 2026-11-09
使用条件与局限
- 需要 Larax & Zaco v1.0 共享软件原版。tools/fetch_original.py 下载固定存档或接受离线 ZIP，并校验文件哈希。仓库不含原可执行文件和资源。
- 验证需要 Python 3.12+、C99 编译器、Free Pascal 3.2.2、make、npm 以及 REA 接受的 Node.js 版本。DOS 探针还需 FPC i8086 交叉编译器。重新导出需要 REA 6.3.0、Ghidra 12.1.4 和完整 JDK；运行原游戏需要 DOSBox-X 2024.03.01 与 Xvfb。
- 恢复了七个 Pascal 例程、十六种紧凑布局、六个可移植 C 例程和资源解码器。中断处理、大部分玩法、渲染、音频和 DOS 服务仍未恢复。
- README 报告 Pascal 与原 x86 代码对照 174,777 例、C 对照 173,725 例、DOS 探针对照 12 次，另有 94 项载入映像检查。游戏回放采用宿主时间。
- 仓库没有许可证文件；RIGHTS.md 未对恢复逻辑或生成的伪代码授予统一开源许可。原游戏及衍生导出保留原有权利。
引用
BibTeX
@misc{lezac-rea-decompilation-case,
title = {{Larax \& Zaco: an REA-exported evidence base and partial routine recovery}},
howpublished = {\url{https://github.com/Hubert-Rybak/lezac-decompilation}},
url = {https://github.com/Hubert-Rybak/lezac-decompilation},
urldate = {2026-10-18},
note = {Awesome REA entry: \url{https://awesomerea.org/zh/resources/lezac-rea-decompilation-case/}}
}纯文本
Larax & Zaco: an REA-exported evidence base and partial routine recovery。https://github.com/Hubert-Rybak/lezac-decompilation（访问于 2026-10-18）。Awesome REA 条目：https://awesomerea.org/zh/resources/lezac-rea-decompilation-case/
有帮助？在 GitHub 上为 Awesome REA 加星2.4k
关于此条目
说明已依据一手来源复核。
一手来源
- README.md GitHub · Hubert-Rybak/lezac-decompilation · 修订 73b4bdb
- RIGHTS.md GitHub · Hubert-Rybak/lezac-decompilation · 修订 73b4bdb
- docs/analysis.md GitHub · Hubert-Rybak/lezac-decompilation · 修订 73b4bdb
- docs/pascal-recovery.md GitHub · Hubert-Rybak/lezac-decompilation · 修订 73b4bdb
- docs/reproduction.md GitHub · Hubert-Rybak/lezac-decompilation · 修订 73b4bdb
- docs/emulator-baseline.md GitHub · Hubert-Rybak/lezac-decompilation · 修订 73b4bdb
- analysis/provenance.json GitHub · Hubert-Rybak/lezac-decompilation · 修订 73b4bdb
- analysis/coverage.json GitHub · Hubert-Rybak/lezac-decompilation · 修订 73b4bdb
- analysis/emulator.json GitHub · Hubert-Rybak/lezac-decompilation · 修订 73b4bdb
- Makefile GitHub · Hubert-Rybak/lezac-decompilation · 修订 73b4bdb
- .github/workflows/verify.yml GitHub · Hubert-Rybak/lezac-decompilation · 修订 73b4bdb