跳到主要内容

REA 常见问题 FAQ

七天实战

更多交互测验见 REA 子站。

学习路径​

Q1. 没有汇编基础能学吗？​

可以。先黑盒与协议，再补 x86-64 常用指令与调用约定。不必先背完整指令集。

Q2. 必须买 IDA 吗？​

否。Ghidra 足够入门到进阶；Binary Ninja / IDA 是效率与生态选择，不是合法性或能力的前提。

Q3. 和 CTF Pwn/Reverse 什么关系？​

CTF 是极好的动作训练，但工业 REA 更强调：授权、文档、可维护解析器、与业务系统集成。

工具与环境​

Q4. Ghidra 伪代码和源码不一致？​

正常。优化、内联、符号缺失都会造成差异。以语义与测试向量为准。

Q5. Frida 一注入就闪退？​

常见原因：版本不匹配、被完整性检测、SELinux、错误的进程架构。先在自写 Demo 验证工具链。

Q6. 为什么 Wireshark 里是乱码？​

可能是自定义二进制协议或 TLS。先确认是否已解密 TLS；再用差分找字段，而不是盯着「可读文本」。

方法​

Q7. 卡住时怎么办？​

回到四步循环：缩小假设；换信息源（字符串↔导入表↔网络）；写清未知清单；休息后做反证。

Q8. 如何判断自己「懂了」？​

能独立重实现关键算法/解析器，并且能解释一次失败的假设为何失败。

Q9. 动态和静态哪个先？​

有可运行环境时：轻量静态侦察 → 动态验证关键路径 → 深度静态。纯固件可能只能静态为主。

合规​

Q10. 研究自己买的软件可以逆向吗？​

取决于地区法律、EULA 与目的（互操作/安全研究豁免各异）。本站不提供法律意见；工作前咨询合规。

Q11. 可以公开 write-up 吗？​

可以公开方法论与自有样本；避免发布针对未授权目标的可利用细节。

Q12. 教学样本被误杀软查杀？​

隔离环境、加白名单、保留哈希证明来源；不要在个人生产电脑直接运行。

与 AI 课程​

Q13. REA 和 Hermes/MCP 课如何搭配？​

正向课教你「设计协议与工具」；REA 教你「没有文档时如何重建」。建议在完成 MCP 基础后再练协议逆向。

Q14. 能否用 LLM 自动反编译？​

可辅助阅读，不能替代符号重建、测试验证与合规。关键结论需人工签字。

深度扩展：FAQ​

原则 1​

在卡关排错工作流里，先建立样本哈希索引与授权编号，再允许任何动态动作；顺序反了会把风险前置。

落地动作 1（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 2​

卡关排错的观察阶段要同时记录功能行为与副作用，例如落盘路径、环境变量、网络目的地，副作用经常比主输出更接近真模型。

落地动作 2（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 3​

为卡关排错写假设时使用「若…则…否则作废」句式，并把作废条件交给实验设计者（可以是明天的你）。

落地动作 3（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 4​

卡关排错差分实验一次只扰动一个自变量，标题里写明自变量，笔记里写明预期字节级变化区域。

落地动作 4（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 5​

验证卡关排错时优先独立实现关键算法或解析路径，测试向量来自真实捕获并完成脱敏。

落地动作 5（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 6​

卡关排错相关工具选型按不确定性类型：格式、逻辑、运行时、协议四类分别对应不同最小工具，避免堆叠 GUI。

落地动作 6（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 7​

在卡关排错交付物中强制出现未知清单与合规扉页；缺一则状态只能是草稿，不能是可评审。

落地动作 7（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 8​

卡关排错时间管理使用九十分钟块，块结束必须产生新事实或阻塞票，禁止无产物延长。

落地动作 8（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 9​

面对卡关排错卡关，先缩小假设粒度，再切换信息源，再做反证，三板斧用尽才考虑升级重工具。

落地动作 9（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 10​

与团队协作卡关排错时统一 IR 与字段表模板，减少方言；评审会议只讨论风险与决策，不现场表演操作。

落地动作 10（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 11​

卡关排错与 AI 辅助结合时，模型只可接触脱敏材料，关键结论必须人工签字与向量验证。

落地动作 11（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 12​

将卡关排错中可迁移检查表沉淀到个人 Wiki，并给模板打版本号，下个项目直接复用而不是从空白开始。

落地动作 12（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 13​

做卡关排错时把「第二产物」当作一等公民：字段表、解析器、回归向量、未知清单，四者缺一就难交接。

落地动作 13（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 14​

若卡关排错涉及多版本对象，先建兼容性矩阵，再写解析策略表，避免深层 if-else 泥潭。

落地动作 14（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

原则 15​

在卡关排错演示与汇报中先讲边界与风险，再讲细节，让决策者获得可行动信息。

落地动作 15（FAQ）：针对当前对象写一条笔记，含证据链接，并预约下一个九十分钟块的单变量实验，实验标题必须出现自变量名称。

专题：进度压力​

交付切片与风险，不伪造完整结论。

专题：过度拟合​

换样本验证；保持向量多样性。

专题：披露​

走 PSIRT 与负责任窗口。

情景卡片 1（授权边界确认）​

你在卡关排错语境下处理与「授权边界确认」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 1，禁止复制旧答卷。本卡片聚焦「授权边界确认」，不要跑题去写无关工具安装故事。

情景卡片 2（黑盒输入矩阵）​

你在卡关排错语境下处理与「黑盒输入矩阵」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 2，禁止复制旧答卷。本卡片聚焦「黑盒输入矩阵」，不要跑题去写无关工具安装故事。

情景卡片 3（字符串 xref 导航）​

你在卡关排错语境下处理与「字符串 xref 导航」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 3，禁止复制旧答卷。本卡片聚焦「字符串 xref 导航」，不要跑题去写无关工具安装故事。

情景卡片 4（长度字段差分）​

你在卡关排错语境下处理与「长度字段差分」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 4，禁止复制旧答卷。本卡片聚焦「长度字段差分」，不要跑题去写无关工具安装故事。

情景卡片 5（endian 判定）​

你在卡关排错语境下处理与「endian 判定」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 5，禁止复制旧答卷。本卡片聚焦「endian 判定」，不要跑题去写无关工具安装故事。

情景卡片 6（校验范围识别）​

你在卡关排错语境下处理与「校验范围识别」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 6，禁止复制旧答卷。本卡片聚焦「校验范围识别」，不要跑题去写无关工具安装故事。

情景卡片 7（错误码字典）​

你在卡关排错语境下处理与「错误码字典」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 7，禁止复制旧答卷。本卡片聚焦「错误码字典」，不要跑题去写无关工具安装故事。

情景卡片 8（状态机快乐路径）​

你在卡关排错语境下处理与「状态机快乐路径」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 8，禁止复制旧答卷。本卡片聚焦「状态机快乐路径」，不要跑题去写无关工具安装故事。

情景卡片 9（状态机错误边）​

你在卡关排错语境下处理与「状态机错误边」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 9，禁止复制旧答卷。本卡片聚焦「状态机错误边」，不要跑题去写无关工具安装故事。

情景卡片 10（Hook 日志对齐）​

你在卡关排错语境下处理与「Hook 日志对齐」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 10，禁止复制旧答卷。本卡片聚焦「Hook 日志对齐」，不要跑题去写无关工具安装故事。

情景卡片 11（抓包噪声掩码）​

你在卡关排错语境下处理与「抓包噪声掩码」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 11，禁止复制旧答卷。本卡片聚焦「抓包噪声掩码」，不要跑题去写无关工具安装故事。

情景卡片 12（解析器单测）​

你在卡关排错语境下处理与「解析器单测」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 12，禁止复制旧答卷。本卡片聚焦「解析器单测」，不要跑题去写无关工具安装故事。

情景卡片 13（黄金向量沉淀）​

你在卡关排错语境下处理与「黄金向量沉淀」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 13，禁止复制旧答卷。本卡片聚焦「黄金向量沉淀」，不要跑题去写无关工具安装故事。

情景卡片 14（未知清单评审）​

你在卡关排错语境下处理与「未知清单评审」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 14，禁止复制旧答卷。本卡片聚焦「未知清单评审」，不要跑题去写无关工具安装故事。

情景卡片 15（降级交付切片）​

你在卡关排错语境下处理与「降级交付切片」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 15，禁止复制旧答卷。本卡片聚焦「降级交付切片」，不要跑题去写无关工具安装故事。

情景卡片 16（工具版本钉扎）​

你在卡关排错语境下处理与「工具版本钉扎」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 16，禁止复制旧答卷。本卡片聚焦「工具版本钉扎」，不要跑题去写无关工具安装故事。

情景卡片 17（双人假设攻击）​

你在卡关排错语境下处理与「双人假设攻击」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 17，禁止复制旧答卷。本卡片聚焦「双人假设攻击」，不要跑题去写无关工具安装故事。

情景卡片 18（LLM 草稿审查）​

你在卡关排错语境下处理与「LLM 草稿审查」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 18，禁止复制旧答卷。本卡片聚焦「LLM 草稿审查」，不要跑题去写无关工具安装故事。

情景卡片 19（演示彩排）​

你在卡关排错语境下处理与「演示彩排」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 19，禁止复制旧答卷。本卡片聚焦「演示彩排」，不要跑题去写无关工具安装故事。

情景卡片 20（失败资产归档）​

你在卡关排错语境下处理与「失败资产归档」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 20，禁止复制旧答卷。本卡片聚焦「失败资产归档」，不要跑题去写无关工具安装故事。

情景卡片 21（导入表速览）​

你在卡关排错语境下处理与「导入表速览」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 21，禁止复制旧答卷。本卡片聚焦「导入表速览」，不要跑题去写无关工具安装故事。

情景卡片 22（资源段排查）​

你在卡关排错语境下处理与「资源段排查」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 22，禁止复制旧答卷。本卡片聚焦「资源段排查」，不要跑题去写无关工具安装故事。

情景卡片 23（超时行为归因）​

你在卡关排错语境下处理与「超时行为归因」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 23，禁止复制旧答卷。本卡片聚焦「超时行为归因」，不要跑题去写无关工具安装故事。

情景卡片 24（配置键探测）​

你在卡关排错语境下处理与「配置键探测」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 24，禁止复制旧答卷。本卡片聚焦「配置键探测」，不要跑题去写无关工具安装故事。

情景卡片 25（会话固定字段）​

你在卡关排错语境下处理与「会话固定字段」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 25，禁止复制旧答卷。本卡片聚焦「会话固定字段」，不要跑题去写无关工具安装故事。

情景卡片 26（截断帧测试）​

你在卡关排错语境下处理与「截断帧测试」相关的任务，对象已授权。请提交结构化答卷：

  1. 事实三条（每条可追溯到 OBS 编号或哈希）。
  2. 假设两条（含作废条件），且彼此尽量互斥以便设计区分实验。
  3. 四小时内唯一实验：自变量、因变量、判据、噪声处理。
  4. 失败升级策略与合规提醒各一句。

通过线：未参与同事仅凭文字能理解并复现实验意图。不通过则更换样本家族后重做卡片 26，禁止复制旧答卷。本卡片聚焦「截断帧测试」，不要跑题去写无关工具安装故事。

章末自测：FAQ​

  1. 写出本章对你改变最大的一条原则，并给出反例故事。
  2. 列出即将执行的子站实验与成功判据。
  3. 更新个人 Wiki 模板版本号，记录本次新增字段。
  4. 检查授权是否覆盖你计划中的动态修改行为。
  5. 将未知清单按业务风险排序，取前两项安排本周处理。

导航：入门 · 快速开始 · 开发 · GitHub · 实践 · FAQ · 从零到一 · 子站