DARPA’s Information Innovation Office is seeking innovative proposals for novel techniques to eliminate software memory vulnerabilities by large-scale code conversion from C to safe, idiomatic Rust. The goal is to achieve the same quality and style that a skilled Rust developer would produce, thereby eliminating the entire class of memory safety security vulnerabilities present in C programs. This program may involve novel combinations of software analysis, such as static analysis and dynamic analysis, and machine learning techniques like large language models.
Up to USD$5M (Technical Area 1) or USD$2M (Technical Area 2) is available for two-phase projects over 48 months.
Abstracts (encouraged but not compulsory) are due 20 September 2024, with full proposals due 6 November 2024.
Document
Program Solicitation – TRACTOR: DARPA-PS-24-20
