# DownUnderCTF：masked-squares 校验器

> 官方教育 CTF 案例：从检查函数得到方程，并记录原程序验证过程。

- 类型：案例
- 目标：二进制
- 类别：REA 官方：案例
- 关联：REA 官方案例
- 来源复核于：2026-10-15
- 收录于：2026-10-16
- 原始资源：<https://rea.tools/showcase/ctf/>
- 一手来源：<https://github.com/morluto/rea/blob/808339f0b1cf3837445f392b5d5f1f362d64a27d/website/evidence/ctf-masked-squares.md>
- 目录页面：<https://awesomerea.org/zh/resources/rea-ctf-case/>
- 记录 JSON：<https://awesomerea.org/resources/rea-ctf-case/record.json>
- 英文版：[English](https://awesomerea.org/resources/rea-ctf-case/index.md)

## 使用条件与局限

- **前提条件：**上游案例使用公开的 DownUnderCTF 2023 题目、REA 4.1.0、Ghidra 12.1.4，运行于 Linux x64。
- **测试证据：**文档提供目标摘要与源码版本；作者报告的执行。

## 一手来源

1. <https://github.com/morluto/rea/blob/808339f0b1cf3837445f392b5d5f1f362d64a27d/website/evidence/ctf-masked-squares.md>

## 同分区更多条目：原生二进制

- [Show Your Work：对 REA 证据架构的实测剖析](https://awesomerea.org/zh/resources/noflag-rea-evidence-architecture-study/index.md) · 案例
- [Windows 加载器：借助 REA 与 Codex 的静态恶意软件分析](https://awesomerea.org/zh/resources/windows-loader-static-analysis-case/index.md) · 案例
- [OpenBSD netcat：REA 与 Ghidra 静态调查](https://awesomerea.org/zh/resources/netcat-openbsd-rea-static-case/index.md) · 案例
- [m0rph：追踪混淆 ELF 程序的字符串校验逻辑](https://awesomerea.org/zh/resources/m0rph-ctf-analysis-case/index.md) · 案例
- [CPQ IO Scheduler：还原小米的块设备调度器](https://awesomerea.org/zh/resources/cpq-iosched-case/index.md) · 案例
- [Malware Analysis：njRAT 与 Casdet 行为研究](https://awesomerea.org/zh/resources/malware-analysis-njrat-casdet-case/index.md) · 案例

## 关于此条目

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