谷歌借助 AI 与差分模糊测试将 C 语言依赖库改写为 Rust

摘要

谷歌安全团队用 Gemini 把一个约 3000 行的 C 图像库 giflib 自动翻译成 ABI 兼容、可直接替换的 Rust 实现，该库长期在没有沙箱隔离的情况下解码不可信输入，迁移过程中还修复了尚未打补丁的堆写入零日漏洞 CVE-2026-26740。整个流程围绕自主反馈循环：一次性提示词完成移植，差分模糊测试把失败轨迹回灌给模型迭代出补丁，并在超过 3000 万个真实 GIF 上做逐比特回归验证，六天 2 亿次迭代未发现功能漂移。

近 7 天热度