# Larax & Zaco：REA 导出的证据库与部分例程恢复

> 作者使用 REA 6.3.0 与 Ghidra，为 DOS 共享软件 LEZAC.EXE 中发现的全部 215 个过程导出档案、伪代码和汇编，再将其中少量例程恢复为 Pascal 和可移植 C。恢复的代码以原 x86 指令为对照进行测试，固定版本的 DOSBox-X 基线记录了原游戏的运行情况。README 将成果界定为分析档案和少量恢复例程；尚无可游玩或逐位一致的重建，恢复代码也不是原作者的源码。

- 类型：案例
- 目标：二进制 · 游戏
- 类别：REA 社区调查案例
- 关联：作者报告的混合工具流程
- 来源复核于：2026-10-18
- 收录于：2026-11-09
- 原始资源：<https://github.com/Hubert-Rybak/lezac-decompilation>
- 一手来源：<https://github.com/Hubert-Rybak/lezac-decompilation/blob/73b4bdb3a79cf26346c148d1024c3da5eb3b8333/README.md>
- 目录页面：<https://awesomerea.org/zh/resources/lezac-rea-decompilation-case/>
- 记录 JSON：<https://awesomerea.org/resources/lezac-rea-decompilation-case/record.json>
- 英文版：[English](https://awesomerea.org/resources/lezac-rea-decompilation-case/index.md)

## 使用条件与局限

- 需要 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 未对恢复逻辑或生成的伪代码授予统一开源许可。原游戏及衍生导出保留原有权利。

## 一手来源

1. <https://github.com/Hubert-Rybak/lezac-decompilation/blob/73b4bdb3a79cf26346c148d1024c3da5eb3b8333/README.md>
2. <https://github.com/Hubert-Rybak/lezac-decompilation/blob/73b4bdb3a79cf26346c148d1024c3da5eb3b8333/RIGHTS.md>
3. <https://github.com/Hubert-Rybak/lezac-decompilation/blob/73b4bdb3a79cf26346c148d1024c3da5eb3b8333/docs/analysis.md>
4. <https://github.com/Hubert-Rybak/lezac-decompilation/blob/73b4bdb3a79cf26346c148d1024c3da5eb3b8333/docs/pascal-recovery.md>
5. <https://github.com/Hubert-Rybak/lezac-decompilation/blob/73b4bdb3a79cf26346c148d1024c3da5eb3b8333/docs/reproduction.md>
6. <https://github.com/Hubert-Rybak/lezac-decompilation/blob/73b4bdb3a79cf26346c148d1024c3da5eb3b8333/docs/emulator-baseline.md>
7. <https://github.com/Hubert-Rybak/lezac-decompilation/blob/73b4bdb3a79cf26346c148d1024c3da5eb3b8333/analysis/provenance.json>
8. <https://github.com/Hubert-Rybak/lezac-decompilation/blob/73b4bdb3a79cf26346c148d1024c3da5eb3b8333/analysis/coverage.json>
9. <https://github.com/Hubert-Rybak/lezac-decompilation/blob/73b4bdb3a79cf26346c148d1024c3da5eb3b8333/analysis/emulator.json>
10. <https://github.com/Hubert-Rybak/lezac-decompilation/blob/73b4bdb3a79cf26346c148d1024c3da5eb3b8333/Makefile>
11. <https://github.com/Hubert-Rybak/lezac-decompilation/blob/73b4bdb3a79cf26346c148d1024c3da5eb3b8333/.github/workflows/verify.yml>

## 同分区更多条目：游戏

- [Leaflitter：反编译 3DS 游戏《Paper Mario: Sticker Star》](https://awesomerea.org/zh/resources/leaflitter-case/index.md) · 案例
- [Legacy of Kain: Soul Reaver：反编译与移植](https://awesomerea.org/zh/resources/kain2/index.md) · 案例
- [Lego Battles：手工反编译的 Nintendo DS 游戏重建](https://awesomerea.org/zh/resources/lego-battles-decomp-case/index.md) · 案例
- [Lego Island 2：GBA 版反编译](https://awesomerea.org/zh/resources/lego-island-2-gba-case/index.md) · 案例
- [LEGO Racers：进行中的 N64 源码重建](https://awesomerea.org/zh/resources/lego-racers-case/index.md) · 案例
- [LEGO Rock Raiders：C 与 C++ 反编译项目](https://awesomerea.org/zh/resources/lego-rock-raiders-decompile-case/index.md) · 案例

## 关于此条目

说明已依据一手来源复核。
原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。