DARPA计划放弃C代码,转向Rust

程序员咋不秃头 2024-08-20 02:07:29

DARPA 是 The Defense Advanced Research Projects Agency的缩写,中文翻译为美国国防部高级研究计划局。近日美国国防高级研究计划局(DARPA)启动了 TRACTOR计划,与大学和行业研究人员合作,创建一个能够将 C 代码转换为安全、符合习惯的 Rust 代码的翻译系统。

国防高级研究计划局(DARPA)计划将于 8 月 26 日举行一个名为提案者日(Proposers Day)的研讨会,该研讨会将会概述他们对“将所有 C 代码转换为Rust(TRACTOR)”项目的愿景。此项目呼吁学术界和行业研究团创建一个能够将 C 代码转换为符合习惯的 Rust 代码的系统。项目的最终目标则是将提供一个转换工具,可以使任何拥有大量用 C 语言编写的软件的组织把 C 代码转换为 Rust,来清除导致软件漏洞的内存安全错误。

是否会使用大模型

Synopsys 软件完整性集团产品管理高级总监 Beth Linker 说,许多组织已经在使用或开始使用 Rust。为了广泛使用 Rust,公司需要保证 Rust 代码能够与 C 或C++ 编写的组件进行互操作。目前的情况来看,即使大型语言模型还不能完全准确地将 C 代码翻译成 Rust 代码,但是仍然还是需要借助大模型。

DARPA 将在 2024年 8 月 26 日举行 TRACTOR 项目提案提交活动,感兴趣的参与者可以现场或远程参加。

如果这个项目能够成功,它将非常有影响力,而且也会再次提升 Rust 的影响力。

参考资料:

https://www.darpa.mil/news-events/2024-07-31a

https://www.darkreading.com/application-security/darpa-aims-to-ditch-c-code-move-to-rust

0 阅读:0