用 AI 智能体逆向工程并打补丁游戏:字节级比对验证输出正确性
arpit_bhayani · x · 2026-10-12
Arpit Bhayani 详解用 AI 智能体对已发布游戏二进制做逆向工程与打补丁的完整流程,核心是构建可验证的 AI 系统。要点:
- 难点:反编译只剩汇编,类型/结构体、函数名、注释、代码结构全部丢失,Ghidra 只能生成粗糙伪 C 代码;让智能体「猜」出原始代码极易出错——字段偏移猜错能编译通过但读错内存,智能体还可能编造逻辑或删掉看似奇怪的 bug 修复检查。
- 流程:把数万个函数拆成工单(GitHub issue),多个智能体并行工作,通过 MCP server 查询反汇编器,推断类型与结构体布局并写出干净的 C++。
- 验证方案:采用「匹配反编译」——用原作者相同的编译器和参数,把智能体的函数编译成目标文件,提取字节与原可执行文件中对应函数逐字节比对;字节一致即机器码一致、行为一致(连 bug 也一致)。
- 通用启示:关键在于把「正确性」定义成机器可检查的形式(测试、golden 文件等),再让智能体对着它迭代直到猜对。此方法远不止适用于游戏。
「编程与Agent」频道最新
- 游戏业担忧:一次出万行代码的 vibecoder,不如迭代一万次的人 — TAbrodi · 2026-10-12
- 用 Opus 5.5 指挥即梦 CLI 自动生成分镜,做出有质感的故事片 — op7418 · 2026-10-12
- 代码 Review 之争:质量靠测试灰度回滚,还是靠人工逐行审? — dotey · 2026-10-12
- 实测多个 AI Agent 订机票:验证码成最大拦路虎 — nicolechirps · 2026-10-12
- Meta 团队提出 ReHarness,反向修订经验让智能体在线持续学习 — Yuxin Xiao · 2026-10-12
- 免费 MCP 让 Claude 直连 Google Slides,做幻灯片省 3 倍 token 快 5 倍 — No-Teacher235 · 2026-10-12