近日,有不少人发现,美国国防高级研究计划局(DARPA)正在启动一项资助计划,即推动一款程序代码转换工具 TRACTOR(全称为 Translating All C to Rust)的开发,旨在借助 AI 大模型技术独立地将传统的 C 和 C++ 代码直接转换为可用的 Rust 代码。 同时,DARPA最终希望这款 AI 工具达到的水平能够与经验丰富的 Rust 程序员...
C2Rust工具作为一种先进的代码转换技术,它不仅能够将现有的C语言模块高效地转化为Rust语言,而且还保证了转换前后代码语义的一致性。通过兼容C99标准,C2Rust确保了广泛的应用范围,适用于大多数现代C代码库。此外,在转换过程中,C2Rust借助于Clang工具对原始C代码进行深入分析和类型检查,进一步提高了转换结果的准确性和安全...
研究的挑战在于大幅提高从 C 到 Rust 的自动转换能力,特别是对于最相关的程序构造。” 过去几年来,包括谷歌和微软在内的科技巨头一直在宣传内存安全漏洞带来的问题,并推广使用 C 和 C++ 以外不需要手动内存管理的语言。 这些消息也引起了拥有大量遗留代码的美国政府公共部门的注意,并促使白宫和美国网络安全和基础设施...
TRACTOR 是 TRanslating All C TO Rust 的缩写,该项目旨在开发机器学习工具,自动将旧 C 代码转换为 Rust 代码。 “你可以访问任何一个 LLM 网站,开始与其中一个 AI 聊天机器人聊天,你只需要说 ' 这里有一些 C 代码,请把它翻译成安全的惯用 Rust 代码 ',然后剪切、粘贴,就会有结果,而且通常效果很好... 研...
【下载txt文本】为甩掉C语言,美国政府机构再想新招:开发AI工具,一键将旧的C代码转为Rust_AIGC视界[回 目录]在线阅读文章作者:AIGC视界@公众号字数统计: 4693字/1贴/1原帖/1页更新时间:2024-08-07 09:32:26现在更新 下载PDF格式、文本格式和带图PDF格式。请访问 "积分下载"链接下载。查看下面的说明,获取...
近日,有不少人发现,美国国防高级研究计划局(DARPA)正在启动一项资助计划,即推动一款程序代码转换工具 TRACTOR(全称为 Translating All C to Rust)的开发,旨在借助 AI 大模型技术独立地将传统的 C 和 C++ 代码直接转换为可用的 Rust 代码。 同时,DARPA 最终希望这款 AI 工具达到的水平能够与经验丰富的 Rust 程序...
近日,有不少人发现,美国国防高级研究计划局(DARPA)正在启动一项资助计划,即推动一款程序代码转换工具 TRACTOR(全称为 Translating All C to Rust)的开发,旨在借助 AI 大模型技术独立地将传统的 C 和 C++ 代码直接转换为可用的 Rust 代码。 同时,DARPA最终希望这款 AI 工具达到的水平能够与经验丰富的 Rust 程序员...
近日,有不少人发现,美国国防高级研究计划局(DARPA)正在启动一项资助计划,即推动一款程序代码转换工具 TRACTOR(全称为 Translating All C to Rust)的开发,旨在借助 AI 大模型技术独立地将传统的 C 和 C++ 代码直接转换为可用的 Rust 代码。 同时,DARPA 最终希望这款 AI 工具达到的水平能够与经验丰富的 Rust 程序...
近日,有不少人发现,美国国防高级研究计划局(DARPA)正在启动一项资助计划,即推动一款程序代码转换工具 TRACTOR(全称为 Translating All C to Rust)的开发,旨在借助 AI 大模型技术独立地将传统的 C 和 C++ 代码直接转换为可用的 Rust 代码。 同时,DARPA最终希望这款 AI 工具达到的水平能够与经验丰富的Rust程序员带来...
近日,有不少人发现,美国国防高级研究计划局(DARPA)正在启动一项资助计划,即推动一款程序代码转换工具 TRACTOR(全称为 Translating All C to Rust)的开发,旨在借助 AI 大模型技术独立地将传统的 C 和 C++ 代码直接转换为可用的 Rust 代码。 同时,DARPA 最终希望这款 AI 工具达到的水平能够与经验丰富的 Rust 程序...