二进制安全

2010年，进制安全Stuxnet蠕虫撕开了伊朗纳坦兹核设施的进制安全防线。它没有窃取数据，进制安全没有勒索赎金，进制安全而是进制安全悄悄修改了离心机的转速——让铀浓缩设备在正常运转的假象下自我撕裂。这是进制安全二进制安全领域的一个转折点：攻击不再停留在虚拟世界，它开始物理性地摧毁现实。进制安全

二进制安全，进制安全说白了就是进制安全研究程序在机器码层面的攻防。高级语言写的进制安全代码最终都要编译成CPU能执行的指令序列，这些0和1构成的进制安全逻辑里藏着无数裂缝。缓冲区溢出、进制安全格式化字符串漏洞、进制安全整数溢出、进制安全释放后重用——每个名词背后都是进制安全一类可以被武器化的缺陷。攻击者要做的，就是找到这些裂缝，让程序执行原本不该执行的代码。

我见过最优雅的利用方式叫ROP，面向返回编程。现代系统有DEP保护，堆栈上的代码不能直接执行。于是攻击者翻遍程序加载的共享库，找出一个个以ret指令结尾的小片段，把它们像乐高积木一样拼起来。每个片段只做一件小事——往寄存器写个值，调用一个函数——但串在一起就能完成任意操作。这种思路本身就很黑客：不硬闯，而是用你已有的零件搭出我要的东西。

防御方也没闲着。ASLR让内存地址随机化，每次程序启动时堆栈、库、堆的位置都不同，攻击者没法硬编码跳转地址。Canary在栈帧里放一个随机值，函数返回前检查它是否被覆盖。CFI控制流完整性更狠，直接验证每个间接跳转的目标是否合法。但这些保护都有绕过方法。ASLR在32位系统上熵太低，暴力猜几次就中；Canary可以被信息泄露配合绕过；CFI实现复杂，总有边角情况照顾不到。

漏洞挖掘本身也在进化。以前安全研究员靠手工逆向，用IDA Pro一行行读汇编，一个函数一个函数地跟。现在fuzzing成了主流——AFL、libFuzzer这些工具能自动生成海量输入，盯着程序哪里崩溃。更激进的是符号执行，用约束求解器算出触发特定路径需要什么输入。但工具再强，最后拍板判断“这是不是一个安全漏洞”的，还是人。机器不知道什么算“危险”，它只知道崩溃和不崩溃。

二进制安全最迷人也最残酷的地方在于：你面对的是没有注释、没有变量名、没有文档的机器码。编译器优化会把源码结构搅得面目全非，内联、循环展开、指令重排，你看到的汇像是被揉碎又随机拼贴的文本。要从这团乱麻里理出原始逻辑，靠的是经验、直觉，还有大量咖啡。我认识一个做逆向的哥们，他能在几百行汇编里一眼认出这是哪个版本的OpenSSL，靠的就是对编译器生成模式的熟悉——不同编译器、不同优化等级出来的代码“味道”不一样。

这个领域没有银弹。每个新防御机制都会催生新的绕过技术，每个新漏洞类型都会推动新的检测方法。攻防在二进制层面反复拉锯，没有终点。想入门的话，从CTF的pwn题开始最实际——那些刻意留出的漏洞虽然不真实，但能让你快速建立对栈布局、寄存器状态、内存保护机制的肌肉记忆。然后去读真实漏洞的writeup，看别人怎么在复杂环境中把一个小缺陷变成完整利用链。剩下的，就是无尽的调试和拍桌子。