美国国防部建议将C代码转换为Rust——而且是用AI

文章预览

为了加快向内存安全编程语言的过渡，美国国防部高级研究计划局（DARPA）正在推动程序代码转换工具 TRACTOR 的开发。 TRACTOR 是 TRanslating All C TO Rust 的缩写，该项目旨在开发机器学习工具，自动将旧 C 代码转换为 Rust 代码。 DARPA 表示希望能够通过 AI 模型推动编程语言的转换，从而使软件更加安全。 TRACTOR 的 DARPA 项目经理 Dan Wallach 在一份声明中表示： “你可以访问任何一个 LLM 网站，开始与其中一个 AI 聊天机器人聊天，你只需要说 ' 这里有一些 C 代码，请把它翻译成安全的惯用 Rust 代码 '，然后剪切、粘贴，就会有结果，而且通常效果很好......  研究的挑战在于大幅提高从 C 到 Rust 的自动转换能力，特别是对于最相关的程序构造。” 过去几年来，包括谷歌和微软在内的科技巨头一直在宣传内存安全漏洞带来的问题，并推广使用 C 和 C++ 以外不需要 ………………………………