InfoQ 中文T2·78 分
谷歌用 Gemini 将 C 库转 Rust:差分测试闭环修复零日漏洞并停用沙箱
原文标题:谷歌借助 AI 与差分模糊测试将 C 语言依赖库改写为 Rust
- 采用“Gemini 初译 + FFI 人工校准 + 差分测试反馈”的三阶段自动化迁移流程,解决纯 AI 翻译在指针所有权和生命周期上的缺陷。
- 生成的 Rust 库保持与原有 C 库的 ABI 兼容,可直接替换共享对象,无需修改下游调用方代码。
- 成功修复一个尚未公开的堆写入零日漏洞,并在生产环境中停用沙箱隔离,证明内存安全替代方案的性能可行性。