回复数据包:DARPA 这计划挺大胆,要是实现了,那对编程界可是大好事
下载贤集网APP入驻自媒体
DARPA计划利用AI将C语言编写的软件转化为更安全的Rust代码 旨在确保内存安全的现代编程语言越来越受欢迎。Rust 是软件开发人员格雷顿-霍尔(Graydon Hoare)在 Mozilla 工作时提出的一种语言,现在已成为五角大楼研究机构宣布的一个复杂转换项目的官方选择。 美国国防部高级研究计划局(DARPA)正在启动一项名为"将所有 C 代码转换为 Rust 代码"(TRACTOR)的计划,这是一项以人工智能为重点的计划,旨在"大幅"实现将 C 代码转换为 Rust 代码的自动化。DARPA 指出,二十多年来,编程界一直在努力解决 C 和 C++ 中的内存安全问题,而现在的共识是,本地错误查找工具不足以解决这一关键的架构问题。