买了个新玩意儿,插上 Mac 发现没驱动,这事每个非 Windows 用户都经历过安全研究者 Brendan Dolan-Gavitt(网名 moyix,曾在 NYU Tandon 任教,长期从事逆向工程与 AI 安全)最近在 X 上说了句话,听上去轻描淡写,细想却意味深长:
他已经不再检查亚马逊上买来的小设备有没有 Mac 或 Linux 驱动了
原因?大语言模型可以在几个小时之内,通过逆向 Windows 驱动,帮他"合成"一份新驱动

▲ moyix 发帖称不再焦虑设备是否有 Linux/Mac 驱动,LLM 逆向 Windows 驱动后几小时即可合成
一个人的偷懒技巧?也许吧。但开源世界的另一位重量级人物看到了完全不同的东西
"二进制驱动保密已经死了"
Eric S. Raymond,开源运动史上最具影响力的人物之一,《大教堂与市集》的作者,引用了 moyix 的帖子,把结论推到了极限:
"You don't even have to go through a decompilation process first. Feed a cutting-edge LLM the binary of a Windows device driver and it can give you the source code."
“你甚至不必先走反编译流程。把 Windows 设备驱动的二进制喂给一个前沿大模型,它就能给你源码。”
他给出的亲身案例:把一份 DOS 二进制直接丢给 ChatGPT 5.5,拿回了非常可读的 Pascal 源码后来又用一轮 LLM 把结果转成了 Rust,编译通过,可以运行

▲ ESR 称前沿大模型可从 Windows 驱动二进制得到源码,并以 DOS 程序转为 Pascal 源码为例
ESR 的措辞极其激烈。他直接宣告 "binary driver secrecy is dead"(二进制驱动保密已死),并点名 Nvidia 以及所有长期拒绝开放驱动的厂商,语气里带着三十年开源战争积攒的火药味
他后来补充了一个限定:那份 Pascal 代码来自一个古老的共享软件游戏,并非现代驱动但他坚持核心论点,只要模型能查到程序所调用的操作系统接口,二进制就不再是障碍
三分钟,从零逆向一个 Windows 驱动
ESR 说的到底靠不靠谱?社区里其实已经有人拿出了实打实的证据
早在 2025 年 3 月,就有安全研究者演示过:用 Claude 3.7 配合 IDA MCP(一种让 AI 模型直接操作专业反编译器的协议),对一个去掉所有符号信息的 Windows 驱动 CTF 样本进行全自动分析结果?大约三分钟,模型自动重建了结构体、恢复了函数语义,输出的源码与原始源码高度吻合


▲ Claude 3.7 配合 IDA MCP,约三分钟全自动逆向无符号 Windows 驱动,重建结构与源码
再看真实硬件场景。俄罗斯开发者 ValdikSS 长期维护佳能 CAPT 打印机的开源替代驱动他的工作流是:先人工逆向、从 Windows XP 侧抓 USB 数据包、写出第一版规格,然后让 LLM 继续分析数据包、生成规格文档并修改 C 代码整个过程是人机协作,人定方向,模型加速执行
这些案例勾勒出一条清晰的能力曲线:从四年前 moyix 自己用 GPT-3 做"玩具级"的全程序逆向摘要(项目叫 gpt-wpre,每次只能处理 4096 token),到今天前沿模型可以直接吃下整份二进制并输出可编译的代码中间的变量是模型能力、上下文窗口和工具链(MCP、反编译器插件)的叠加演进
合法吗?一场在灰色地带上的法律试探
ESR 在发完宣言后,立刻把一个尖锐问题抛给了 Grok:从许可证未知的二进制 blob 反编译出来的源码,法律地位是什么?
Grok 的回答很长,核心要点可以浓缩为几条:美国版权法下,为了互操作性对软件进行反编译,有 Sega v. Accolade 这样的合理使用先例;DMCA 也有互操作性豁免的讨论空间但 EULA 往往在合同层面直接禁止反编译而 LLM 从专有二进制中生成的输出,"几乎肯定构成衍生作品",紧密克隆或分发的法律风险相当高

▲ Grok 回复 ESR:反编译产物的法律地位处于灰色地带,洁净室路线风险更低
ESR 紧接着追问了一条更聪明的路径:先让一个 LLM 结合 Windows/Linux API 知识生成高层功能规格(行为、接口、寄存器语义),再让另一个 LLM 根据规格独立实现 Linux 驱动,这是否在法律上更干净?
Grok 认可这是一种合理的洁净室变体(clean-room design)行为规格与代码实现分离,能降低"直接翻译代码"带来的衍生作品指控风险这条路径在产业史上有先例,当年 Phoenix 等公司以严格的团队隔离流程克隆 IBM BIOS,用的就是同一种逻辑区别在于:模型是否真的"未被原始表达污染",在法庭上如何举证,目前仍是完全开放的问题
别高兴太早:GPU 驱动还是会崩的
社区里的冷静声音同样值得听。
有人直言:用这种方法复现的图形驱动,不崩溃的概率"基本为零"原因很简单,现代 GPU 依赖签名固件、庞大的用户态栈和大量私有接口,复杂度跟 USB 小设备完全不在一个量级Linux 上 Nvidia 开源驱动项目 Nouveau 折腾了十几年,至今仍在性能和功能上大幅落后于闭源驱动,靠一个模型翻盘的想象过于乐观

▲ 评论者指出:用此方法复现图形驱动几乎必定崩溃,但逆向门槛的下降本身很有趣
还有一层很少被提到的商业现实:不少厂商的多个产品线用的是同一块芯片,只通过 Windows 驱动里的 PCI ID 白名单来关闭低价型号的高级功能一旦驱动被完整逆向,这种产品线差异化策略就会被直接戳穿,这才是某些厂商死守闭源背后的商业逻辑
同时值得警觉的是硬币的另一面:能读懂驱动 blob 的同一套能力,也能用来挖掘驱动漏洞2026 年已有公开案例描述借助 Claude 等模型分析华硕等品牌的 Windows 驱动,发现 IOCTL 处理与权限管理的安全问题内核攻击面的分析成本也在一起下降
均衡态已经变了

▲ Linux 开发者呼吁:如果你解锁了仅 Windows 可用的功能,请把代码提交给内核维护者
在所有喧嚣背后,一个结构性变化已经发生:把"只提供 Windows 闭源二进制"当作护城河的策略,可信度正在坍塌对 USB 音频接口、打印机、CNC 控制器、实验室仪器这类长尾硬件来说,模型辅助逆向已经把周末项目从"不可能"推向了"值得一试"
ESR 说"二进制保密已死",放在高端 GPU 上还是一句宣言但放在你刚从亚马逊买回来、插上 Linux 发现没驱动的那个 USB 小盒子上,它可能已经是事实了
夜雨聆风