主要观点总结
DARPA推动C代码转换为Rust代码的项目TRACTOR的开发,旨在通过机器学习工具自动转换旧C代码为Rust代码,以提高软件安全性。尽管有争议,但美国政府公共部门已注意到遗留代码的问题并鼓励使用内存安全编程语言,特别是Rust。TRACTOR项目面临技术挑战,需要克服指针使用和转换等问题。
关键观点总结
关键观点1: DARPA推动C代码转换为Rust的开发
美国国防部高级研究计划局(DARPA)正在推动将旧的C代码自动转换为Rust代码的项目TRACTOR的开发,旨在提高软件的内存安全性。
关键观点2: AI模型用于编程语言转换
DARPA希望通过AI模型进行编程语言的转换,通过机器学习工具实现自动化转换。
关键观点3: 软件安全的关注与内存安全编程语言的应用
由于内存安全漏洞的问题日益突出,美国政府公共部门也在鼓励使用不需要手动内存管理的语言,如Rust等。
关键观点4: TRACTOR项目的挑战
TRACTOR项目面临的技术挑战包括自动转换能力提高、指针使用和转换等问题需要解决。
关键观点5: DARPA的立场与行动
DARPA已经明确表示,经过二十多年的努力后,软件工程界已经就解决C和C++的内存安全问题达成共识,并鼓励采取更多措施提高软件安全性。
文章预览
为了加快向内存安全编程语言的过渡,美国国防部高级研究计划局(DARPA)正在推动程序代码转换工具 TRACTOR 的开发。 TRACTOR 是 TRanslating All C TO Rust 的缩写,该项目旨在开发机器学习工具,自动将旧 C 代码转换为 Rust 代码。 DARPA 表示希望能够通过 AI 模型推动编程语言的转换,从而使软件更加安全。 TRACTOR 的 DARPA 项目经理 Dan Wallach 在一份声明中表示: “你可以访问任何一个 LLM 网站,开始与其中一个 AI 聊天机器人聊天,你只需要说 ' 这里有一些 C 代码,请把它翻译成安全的惯用 Rust 代码 ',然后剪切、粘贴,就会有结果,而且通常效果很好...... 研究的挑战在于大幅提高从 C 到 Rust 的自动转换能力,特别是对于最相关的程序构造。” 过去几年来,包括谷歌和微软在内的科技巨头一直在宣传内存安全漏洞带来的问题,并推广使用 C 和 C++ 以外不需要
………………………………