SQLite 一个潜伏了 15 年的 WAL-Reset 数据竞争漏洞,被 Antithesis 工程师用手机在 15 分钟内复现了
Breaking the WAL
SQLite 3.51.3 修复了一个从 2010 年就存在的 WAL-Reset 数据竞争漏洞,这个漏洞会导致已提交的写入丢失。Tailscale 为了排查它花了六个月,期间还专门搭了新的日志管道和调试工具。Antithesis 的工程师 Carl Sverre 在休假时看到这个消息,用手机指挥 AI 助手给有漏洞的 3.51.2 版本加了断言,写了...
推荐理由:SQLite 3.51.3 修了一个藏了 15 年的 WAL-Reset 数据竞争漏洞,最坏情况下已提交的写入会直接消失。Tailscale 为了抓这个 bug 花了六个月,还专门搭了新的日志管道和调试工具。Antithesis 的工程师 Carl Sverre 在休假时看到消息,用手机指挥 AI 助手给有漏洞的 3.51.2 版本加断言、写测试,快速复现了问题。这件事对 AI 从业者的看点在于:一个底层基础设施的静默数据损坏 bug,靠确定性模拟测试和 AI 辅助调试才被揪出来,说明关键依赖的验证链路仍然很脆弱。正文没披露漏洞在生产环境造成的实际...