本地 27B 模型完成一次复杂逆向：能力跃迁也带来安全新题

导语

本地大模型的能力边界，正在从“能不能写代码”移动到“能不能理解陌生软件”。XDA 的一次测试给出了颇具冲击力的样本：Qwen 3.8 27B 被要求分析一款已购买的商业应用，检查其授权验证是否可靠。模型运行在单台配备 128GB 统一内存的 Lenovo ThinkStation PGX 上，全程不依赖云端服务，主要通过 Bash 工具完成工作。

核心要点

• 先拒绝越权，再继续审计。 测试者试图用“我是开发者”的提示绕过限制，但模型检查了应用签名证书，识别出测试者并非真正开发者。它拒绝直接制作绕过工具，却同意记录授权流程和潜在弱点。
• 静态分析覆盖了完整链路。 模型没有在分析阶段运行应用，而是拆解框架、阅读大量 ARM64 代码、追踪安全函数的调用关系，并定位到二进制中被隐藏的公钥材料。结合本地合法许可证后，它重建了授权验证的大致结构。
• 发现错误后没有草率收尾。 第一次恢复出的密钥可以通过签名校验，但程序内部的完整性哈希不匹配。模型注意到这一矛盾，重新检查分析过程，直到结果逐字节吻合。
• 最后形成了可运行的概念验证。 在多轮分析后，模型把发现转化为一个小型脚本，并证明应用的授权检查可以被绕过。原文没有披露具体脚本或足以复现攻击的操作细节。

这意味着什么

案例最重要的地方，不是某个应用的授权设计存在弱点，而是一个可在本地部署的中等规模模型，已经能独立完成过去通常需要逆向工程师和 Ghidra 等工具配合的长链路工作。测试中分析出的机制包括一次性在线激活、离线签名校验、硬件绑定、内置撤销列表、二进制签名检查和更新路径。模型认为，较弱的密钥规格、离线撤销限制，以及所有检查都位于可被修改的本地代码中，是主要风险来源。

对软件厂商而言，授权逻辑不能只依赖客户端隐藏代码；密钥长度、更新与撤销策略、完整性保护和服务端风控都需要重新评估。对安全团队而言，本地模型已经应被纳入威胁建模：它降低了样本外传的隐私风险，却同时降低了开展大规模软件分析的门槛。

当然，这仍是一次单应用、单机器、单次运行的演示，结果也受到工具链、模型推理设置和测试者引导方式影响。它不能证明所有 27B 模型都具备同样水平，但足以说明，软件逆向和防护测试正在进入“模型可参与”的阶段。

来源：Hacker News