标签：ghidra

REA：让 Agent 带着证据做逆向工程

从架构、Evidence 与调查工作流理解 REA，再用 DX-Ball 的小函数闭环和 Enshrouded 的大型体素调查，说明它能做什么、怎样判断成果是否可靠。