谷歌用 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。