案例
DownUnderCTF：masked-squares 校验器
官方教育 CTF 案例：从检查函数得到方程，并记录原程序验证过程。
- 目标
- 二进制
- 类别
- REA 官方：案例
- 关联
- REA 官方案例
- 来源复核于
使用条件与局限
- 前提条件：上游案例使用公开的 DownUnderCTF 2023 题目、REA 4.1.0、Ghidra 12.1.4，运行于 Linux x64。
- 测试证据：文档提供目标摘要与源码版本；作者报告的执行。
关于此条目
说明已依据一手来源复核。
一手来源
- website/evidence/ctf-masked-squares.md GitHub · morluto/rea · 修订 808339f