谷歌用AI将3000行C库改写为Rust

谷歌近日宣布，其安全团队通过人工智能技术成功将一个约3000行代码的图像处理库giflib从C语言迁移至Rust。这一成果由谷歌安全工程师Bastian Kersting和Max Hils主导，标志着AI辅助代码迁移进入新阶段。核心项目对象是常用于解码不受信任用户输入的giflib库。团队采用三阶段自动化流程：首先使用Gemini大模型进行一次性翻译生成Rust代码；其次对生成代码进行外部函数接口（FFI）建模确保兼容性；最后通过差异模糊测试引擎验证功能一致性。值得注意的是，迁移过程中修复了一个尚未公开的堆写入零日漏洞（CVE-2026-26740），证明架构级迁移可从根本上预防漏洞。尽管Rust通常被认为会带来额外开销，但测试显示迁移后的版本与原C版本性能相当，并且由于Rust类型系统特性，可移除传统操作系统沙箱以降低延迟。谷歌已将生成的Rust版本开源，项目名为giflib-rs，供其他团队参考。这一案例展示了AI在代码迁移中的潜力，也为未来大规模遗留系统改造提供了宝贵经验。