Google 用 AI 与差分模糊测试将关键 C 依赖重写为 Rust

InfoQ 报道称，Google 安全团队将 giflib 图像处理库中的遗留 C 代码替换为 Rust，以应对内存安全漏洞。项目采用自动化迁移流程，并通过差分模糊测试保证兼容性，声称在维持运行时性能的同时缓解漏洞，同时强调 AI 翻译结果仍需持续人工监督。

AI推荐理由 InfoQ 报道 Google 安全团队将 giflib 图像处理库中的遗留 C 代码迁移为 Rust，采用自动化迁移流程并结合差分模糊测试（differential fuzzing）验证兼容性，声称在保持运行时性能的同时缓解内存安全漏洞，并指出 AI 翻译仍需持续人工监督。具体新信息在于把 AI 辅助代码迁移与差分模糊测试结合用于真实 C 库替换，对内存安全、遗留系统现代化和 AI 编码工具有参考价值；局限是正文仅为摘要式转述，未给出迁移规模、性能数据、漏洞数量或可复现细节，'zero-day vulnerability mitigation' 等表述缺乏量化证据，且发布时间为存储时间，不能视为新发布。