谷歌用 Gemini 将 giflib C 库改写为 ABI 兼容 Rust 实现

据 InfoQ 中文 2026 年 10 月 9 日报道，谷歌安全团队用 Gemini 将约 3000 行 C 代码的图像处理库 giflib 翻译为 ABI 兼容的 Rust 实现。该库常在没有沙箱隔离的情况下解码不受信任的用户输入。团队保留了原有导出符号与结构体定义，使新库能够直接替换原有共享对象，下游调用方无需改动；替换后停用了进程隔离沙箱，延迟保持不变。团队还称，在堆写入零日漏洞被公开编目为 CVE-2026-26740 之前已经将其修复。

迁移流程由三阶段自动化反馈循环构成：先用一次性提示词让 Gemini 把 C 语言库的完整逻辑移植到 Rust；随后由自动化差异测试引擎发现行为偏差，把失败执行轨迹反馈给模型，迭代生成补丁。报道提到，2 亿次执行未见功能漂移。不过 FFI 封装层在最初几轮会引入不安全的裸指针语义，指针所有权与生命周期不变量仍需人工校准，不能完全自动化；上游 C 库更新还会带来维护分叉。报道还称，内存损坏类漏洞在成熟 C/C++ 代码栈的高危安全漏洞中约占 70%，参与该工作的软件工程师为 Bastian Kersting 和 Max Hils。