Translating All C to Rust

Translating All C to Rust (TRACTOR) Dr. Dan Wallach After more than two decades of grappling with memory safety issues in C and C++, the software engineering community has reached a consensus. It’s not enough to rely on bug-finding tools. The preferred approach is to use “safe” programming languages that can reject unsafe programs at compile time, thereby preventing the emergence of memory safety issues. The TRACTOR program aims to automate the translation of legacy C code to 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. Additional information is available in the TRACTOR Special Notice on SAM.Gov. TAGS Cyber | Programming | Security SIMILARLY TAGGED CONTENT Hardening Development Toolchains Against Emergent Execution Engines (HARDEN) Proposers Day

A screenshot of a DARPA research webpage announcing “Translating All C to Rust,” or TRACTOR, attributed to Dr. Dan Wallach. The joke is the absurdly forced acronym, which sounds like a machine or vehicle rather than a serious software-security program. It is used as a reaction to overly contrived government project names and acronym-based humor. EN: A screenshot of a DARPA research webpage announcing “Translating All C to Rust,” or TRACTOR, attributed to Dr. Dan Wallach. The joke is the absurdly forced acronym, which sounds like a machine or vehicle rather than a serious software-security program. It is used as a reaction to overly contrived government project names and acronym-based humor.

• @gentoomemes / 12612 2024-08-01