二进制漏洞

一个字节的偏差，就能让整台机器跪下。进制漏洞这不是进制漏洞比喻。

2014年，进制漏洞OpenSSL的进制漏洞Heartbleed漏洞被公开。攻击者发送一个心跳请求，进制漏洞声明自己带了0x4000字节的进制漏洞payload，实际只发了1个字节。进制漏洞服务器没有校验长度，进制漏洞直接从内存里读回0x4000字节的进制漏洞数据——包括私钥、会话cookie、进制漏洞用户密码。进制漏洞整个互联网的进制漏洞加密基石，被一个缺少边界检查的进制漏洞memcpy捅穿了。这就是进制漏洞二进制漏洞的典型面貌：逻辑上少写一行判断，内存里多读几千字节，后果是灾难性的。

二进制漏洞和Web层面的SQL注入、XSS不一样。后者是应用逻辑层面的疏忽，前者是程序直接和CPU、内存打交道时产生的裂缝。C/C++这类语言把内存管理的权力交给程序员，也就把犯错的机会一并交了出去。栈溢出、堆溢出、整数溢出、格式化字符串、释放后使用——每一种漏洞类型背后，都是程序员对内存布局的某个假设出了错。

我见过一个真实案例。某工控设备的固件里，解析配置文件的函数用strcpy把用户输入的字符串拷进一个char buf[64]。配置文件来自U盘，攻击者只要在U盘里放一个超长字符串，就能覆盖函数的返回地址，劫持控制流。设备没有ASLR，没有栈保护，连NX位都没开。写exploit的人只用了不到50行Python。那台设备控制着整条生产线。

“安全不是功能，是属性。”——这句话在二进制层面尤其刺耳。

为什么二进制漏洞这么难根除？因为它的根源在工具链和编程范式里。编译器不会主动帮你检查数组越界，malloc和free之间没有强绑定，类型系统在指针转换时形同虚设。Rust试图用所有权模型解决这个问题，但大量遗留系统还在用C。你不可能把Linux内核重写一遍。所以漏洞会一直存在，只是被利用的难度在变化。

现代缓解措施确实提高了门槛。ASLR让地址随机化，DEP让栈不可执行，Canary在返回地址前插一个哨兵值，CFI检查间接跳转目标。但绕过手段也在进化。信息泄露漏洞可以泄露内存布局，ROP链可以把不可执行的代码片段拼成图灵完备的攻击载荷，JIT喷射可以绕过DEP。攻防在二进制层面是一场没有终点的军备竞赛。

怎么防？静态分析工具能扫出一部分，模糊测试能撞出一部分，代码审计能揪出一部分。但真正有效的，是改变写代码时的思维习惯。每次看到memcpy、strcpy、sprintf，先问一句：长度检查了吗？每次free之后，把指针置空了吗？每次整数运算，考虑溢出边界了吗？这些不是高深技术，是纪律。

二进制漏洞不会消失。只要还有人写C，只要还有性能敏感的场景需要手动管理内存，这类漏洞就会持续出现。区别只在于，下一个Heartbleed什么时候来，以及我们有没有在它来之前，把那个缺失的边界检查补上。