📖 AI 总结

谷歌安全团队利用 Gemini 大模型与差分模糊测试，将约 3000 行 C 语言图像处理库 giflib 自动改写为 ABI 兼容、可直接替换的 Rust 实现。迁移采用三阶段反馈式流程：一次性提示词完成初步翻译并保留原有导出符号与结构体定义，人工校准 FFI 层的指针所有权与生命周期，再由差异测试引擎将行为偏差反馈给模型迭代修复。验证阶段对超过 3000 万个真实 GIF 文件做逐比特回归测试，差异模糊测试器连续六天执行 2 亿次迭代未发现功能漂移，并额外暴露出原 C 代码中一个既有的越界写入漏洞。该 Rust 版本在 CVE-2026-26740 公开披露前即天然免疫，生产环境性能与原版持平，且因内存安全由类型系统保障而得以移除操作系统沙箱，P99 尾部延迟明显下降。项目已开源为 giflib-rs。文章同时指出，AI 翻译并非全自动方案，FFI 封装仍需专家介入，上游分叉也带来持续维护成本。