國防高等研究計劃署(DARPA) 成立 TRACTOR 計劃,把 C 轉成 Rust

日期: 分類: «C» 作者: ols3
標籤: ,

美國國防高等研究計劃署(DARPA) 成立了 TRACTOR 計畫,打算把 C 程式都轉成 Rust。

TRACTOR 計劃: Translating All C to Rust。

經過二十多年對 C 和 C++ 記憶體安全問題的不懈努力,軟體工程社群已達成了共識。僅僅依靠bug查找工具是不夠的。首選方法是使用「安全」程式設計語言,這些語言可以在編譯時拒絕不安全的程式碼,從而消除記憶體安全問題。

TRACTOR 專案旨在自動將歷代遺留的 C 語言程式碼轉換為 Rust。目標是實現與熟練 Rust 開發人員等同的質量和風格,從而消除 C 程式中存在的記憶體安全漏洞。該程式將運用軟體分析(如靜態分析和動態分析)和機器學習技術(如 AI/大型語言模型)的新穎組合。

TRACTOR 計劃

其實,目前在 github 上已經有一個 C to Rust 的專案: c2rust

不過,轉換後仍需人為修改,其運作架構流程如下圖。

C to Rust