DARPA project for automated translation from C to Rust (2024)
8 months ago
- #DARPA
- #Rust
- #Memory Safety
- DARPA启动TRACTOR项目，旨在将遗留C代码自动转换为Rust语言，以消除内存安全漏洞
- C语言的内存安全问题源于直接内存操作和未定义行为，导致普遍存在的软件漏洞
- 软件工程界一致认为缺陷检测工具治标不治本，主张采用内存安全语言等主动解决方案
- 虽然内存安全语言Rust日益流行，但大规模重写遗留C代码库仍存在挑战
- TRACTOR计划通过软件分析与大语言模型(LLM)的创新结合，提升C到Rust的自动转换能力
- 该计划将举办公开竞赛，测试基于LLM的转换方案，力求达到熟练Rust开发者的代码质量
- Rust的严格规则如同防护栏，既能保障内存安全，又让开发者专注更高层次的问题
- DARPA将于2024年8月26日举办提案日，供意向参与者深入了解TRACTOR项目细节