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

谷歌安全团队用 Gemini 将约 3000 行的 C 图像处理库 giflib 翻译成 ABI 兼容的 Rust 等价实现，停用进程隔离沙箱并保持原有延迟。团队搭建三阶段自动化迁移流程，对超过 3000 万个真实 GIF 文件做逐比特回归测试，差异模糊测试器连续六天执行 2 亿次迭代未发现功能漂移，并在 CVE-2026-26740 公开前修复了一个未打补丁的堆写入零日漏洞。