差分模糊测试也找不到的那个 bug

📋 概述

差分模糊测试（differential fuzzing）的威力在于：拿同一组输入去跑两个实现，只要输出不一致就报警，理论上能挖出单测和定向测试都漏掉的偏差。但这篇文章讲的恰恰是它的盲区——作者撞上一个让差分测试彻底失效的 bug：两个实现「一致地」输出了同一个错误结果，于是没有差分可报，测试绿灯常亮。他复盘了这类 bug 的共同特征：问题出在两套实现共享的同一个错误前提或规范误读上，大家都错得一模一样；靠对比正确性无从发现，只有回到「什么叫正确」的定义本身才可能暴露。文章给的启示很实用：差分测试擅长找实现间的不一致，却对「共同错误」失明，所以它必须搭配规范级测试与人工审读，而不是被当作万能保险。