DARPA
We just launched a new program aimed at substantially automating the translation of the world’s legacy C code to Rust. If successful, this work could eliminate the entire class of memory safety security vulnerabilities in C programs. More: https://www.darpa.mil/news-events/2024-07-31a