workflow · 4

工作流

贯穿各类分析的 REA 功能：Evidence 记录、快照与导出包，以及对同一程序的两个版本做对比。这里还介绍了 npx rea-agents setup 为 Claude Code 写入了什么，以及用 compare_functions 对比两个构建版本做补丁分析，并让每条结论都对应 Evidence。

• file 命令为什么认错文件类型：JAR、APK、DOCX 都成了 Zip archive data

  为什么 file 把 APK、IPA、JAR、DOCX 报成 Zip archive data，把签名描述文件报成 data，把半个 JAR 仍报成 JAR：25 个样本和背后的魔数规则。

  约 7 分钟读完

• Unsupported class file major version 61/65 报错怎么解决

  亲手复现 UnsupportedClassVersionError 和 major version 61/65/69 报错，查清是哪个类、对应哪个 Java 版本，再用 --release 和 Gradle toolchain 修好。

  约 6 分钟读完

• 二进制补丁对比：逐函数比较两个版本（zlib CVE-2018-25032 实例）

  补丁对比实操：自己编译 zlib 1.2.11 和 1.2.12，用 REA 调 Ghidra 比较 deflateInit2_ 与 compress_block，从真实 diff 里看到 CVE 修复。

  约 7 分钟读完 · REA 6.7.0

• 用 REA 检查 Godot PCK 资源，并核对解出的字节

  用 REA 盘点并提取 Godot PCK，区分资源原路径、MD5 声明与实际 SHA-256；用正常、校验不一致和全零 MD5 三个样本说明结果边界。

  约 3 分钟读完 · REA 6.8.0