案例
DownUnderCTF：masked-squares 校验器
官方教育 CTF 案例：从检查函数得到方程，并记录原程序验证过程。
使用条件与局限
- 上游案例使用公开的 DownUnderCTF 2023 题目、REA 4.1.0、Ghidra 12.1.4，运行于 Linux x64。
- 文档提供目标摘要与源码版本；本目录未重复作者报告的执行。
关于此条目
- 类型
- 案例
- 类别
- REA 官方：案例
- 关联
- REA 官方案例
- 目标
- 二进制
来源核查于
说明依据一手来源核查，不表示已进行运行测试、安全审计或兼容性验证。