為了加速軟件業(yè)向內(nèi)存安全編程語言的過渡，美國國防高級研究計劃局（DARPA）正在推動一個名為TRACTOR的人工智能代碼轉(zhuǎn)換工具，可自動將遺留C代碼轉(zhuǎn)換為Rust，以根治內(nèi)存安全問題。TRACTOR是TRanslating All C TO Rust的縮寫，即“將所有C語言代碼轉(zhuǎn)換為Rust語言”。

大型代碼庫的多數(shù)嚴(yán)重漏洞都屬于內(nèi)存安全漏洞，例如緩沖區(qū)溢出。DARPA希望通過AI模型進(jìn)行編程語言大規(guī)模轉(zhuǎn)換，提升軟件安全。DARPA的TRACTOR項目經(jīng)理Dan Wallach在一份聲明中表示，目前使用LLM（大語言模型）可以初步實(shí)現(xiàn)從C到Rust的轉(zhuǎn)換，但自動化程度和準(zhǔn)確性還有待提升。

近年來，谷歌和微軟等科技巨頭已開始廣泛宣傳內(nèi)存安全漏洞問題，并鼓勵使用如Rust等內(nèi)存安全的編程語言?？萍季揞^的行動不僅影響了私營部門，還促使白宮和美國網(wǎng)絡(luò)安全和基礎(chǔ)設(shè)施安全局（CISA）倡導(dǎo)使用包括Rust、C#、Go、Java、Python和Swift在內(nèi)的內(nèi)存安全語言。

盡管C和C++社區(qū)有人認(rèn)為遵循ISO標(biāo)準(zhǔn)和使用檢測工具可以達(dá)到類似效果，但DARPA認(rèn)為僅靠這些工具還不足以解決問題。Rust自2015年首次發(fā)布以來，因其內(nèi)存安全特性和適用于低級別、性能敏感系統(tǒng)編程的特性，逐漸受到青睞。

互聯(lián)網(wǎng)研究小組的Prossimo項目也致力于用Rust重寫關(guān)鍵庫和代碼，以減少安全風(fēng)險。例如，Prossimo建議非營利互聯(lián)網(wǎng)研究組織用Rust重寫關(guān)鍵庫和代碼，包括網(wǎng)絡(luò)時間協(xié)議（NTP）守護(hù)進(jìn)程（ntpd-rs）。

Prossimo項目的執(zhí)行董事Josh Aas表示：”當(dāng)今互聯(lián)網(wǎng)基礎(chǔ)設(shè)施中運(yùn)行的大量C代碼使得使用翻譯工具變得有吸引力。我們已經(jīng)在這方面進(jìn)行了實(shí)驗，例如最近將基于C語言的AV1實(shí)現(xiàn)轉(zhuǎn)換為Rust?！?/p>

Aas指出，盡管目前的工具還需要大量手動工作來確保（從C到Rust）代碼轉(zhuǎn)換結(jié)果的正確性和符合習(xí)慣，但通過進(jìn)一步投資，這些工具的效率有望顯著提高。

Code Metal公司CEO Peter Morales認(rèn)為，內(nèi)存安全是網(wǎng)絡(luò)安全當(dāng)下的關(guān)注焦點(diǎn)，TRACTOR項目的推出恰逢其時，具備充分的可行性，有望在網(wǎng)絡(luò)安全領(lǐng)域產(chǎn)生重大影響。然而，他也指出，業(yè)界不可能完全放棄C和C++，特別是在內(nèi)核級別。

對于TRACTOR是否真的適用于“所有C語言代碼”，TRACTOR項目經(jīng)理Wallach特別提到來開源代碼以及國防軍工使用的所有C語言代碼都是（前期）潛在目標(biāo)。他明確表示，像Linux內(nèi)核這樣擁有龐大代碼量和工具鏈的復(fù)雜生態(tài)系統(tǒng)，Rust可能并不適合，且在底層優(yōu)化上，C依然擁有優(yōu)勢，因此被TRACTOR明確排除在外。

不過，Linux內(nèi)核開發(fā)團(tuán)隊正在嘗試在特定模塊中引入Rust，以利用其安全特性而不破壞整個系統(tǒng)的穩(wěn)定性和性能。

DARPA將在2024年8月26日舉行TRACTOR項目提案提交活動，感興趣的參與者可以現(xiàn)場或遠(yuǎn)程參加。