谷歌借助 Gemini 与差分模糊测试将 giflib 从 C 改写为 Rust

谷歌安全团队用 Gemini 将约 3000 行的 C 图像处理库 giflib 翻译为 ABI 兼容的 Rust 替代实现，并停用了原有的进程隔离沙箱。团队通过三阶段自动化迁移流程完成改造，用超过 3000 万个真实 GIF 文件做逐比特回归解码测试，差异模糊测试器连续六天执行 2 亿次迭代未发现功能漂移。