DARPA计划“消灭”C语言代码

为了加速软件业向内存安全编程语言的消灭过渡 ，美国国防高级研究计划局（DARPA）正在推动一个名为TRACTOR的代码人工智能代码转换工具
，可自动将遗留C代码转换为Rust，消灭以根治内存安全问题 。代码TRACTOR是消灭TRanslating All C TO Rust的缩写
，即“将所有C语言代码转换为Rust语言”。代码

大型代码库的消灭多数严重漏洞都属于内存安全漏洞 ，例如缓冲区溢出。代码DARPA希望通过AI模型进行编程语言大规模转换 ，消灭提升软件安全。代码DARPA的模板下载消灭TRACTOR项目经理Dan Wallach在一份声明中表示
，目前使用LLM（大语言模型）可以初步实现从C到Rust的代码转换，但自动化程度和准确性还有待提升 。消灭

近年来 ，代码谷歌和微软等科技巨头已开始广泛宣传内存安全漏洞问题，消灭并鼓励使用如Rust等内存安全的编程语言。科技巨头的行动不仅影响了私营部门，还促使白宫和美国网络安全和基础设施安全局（CISA）倡导使用包括Rust
、C# 、Go、Java 、Python和Swift在内的服务器租用内存安全语言 。

尽管C和C++社区有人认为遵循ISO标准和使用检测工具可以达到类似效果，但DARPA认为仅靠这些工具还不足以解决问题。Rust自2015年首次发布以来 ，因其内存安全特性和适用于低级别、性能敏感系统编程的特性 ，逐渐受到青睐 。

互联网研究小组的Prossimo项目也致力于用Rust重写关键库和代码，以减少安全风险。例如
，Prossimo建议非营利互联网研究组织用Rust重写关键库和代码 ，包括网络时间协议（NTP）守护进程（ntpd-rs） 。

Prossimo项目的亿华云执行董事Josh Aas表示 ：”当今互联网基础设施中运行的大量C代码使得使用翻译工具变得有吸引力 。我们已经在这方面进行了实验，例如最近将基于C语言的AV1实现转换为Rust
。“

Aas指出，尽管目前的工具还需要大量手动工作来确保（从C到Rust）代码转换结果的正确性和符合习惯，但通过进一步投资 ，这些工具的效率有望显著提高 。

Code Metal公司CEO Peter Morales认为，内存安全是网络安全当下的香港云服务器关注焦点，TRACTOR项目的推出恰逢其时，具备充分的可行性，有望在网络安全领域产生重大影响
。然而 ，他也指出 ，业界不可能完全放弃C和C++，特别是在内核级别 。

对于TRACTOR是否真的适用于“所有C语言代码” ，TRACTOR项目经理Wallach特别提到来开源代码以及国防军工使用的建站模板所有C语言代码都是（前期）潜在目标 。他明确表示，像Linux内核这样拥有庞大代码量和工具链的复杂生态系统 
，Rust可能并不适合，且在底层优化上 ，C依然拥有优势 ，因此被TRACTOR明确排除在外 。

不过 ，Linux内核开发团队正在尝试在特定模块中引入Rust，以利用其安全特性而不破坏整个系统的稳定性和性能。

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