New System Auto-Converts C To Memory-Safe Rust, But There’s a Catch

Researchers from Inria and Microsoft have developed a system that automatically Convert specific types of C code into memory-safe Rust codeto address growing cybersecurity concerns about software system memory vulnerabilities.

technology, A new paper detailsprogrammers were required to use a restricted version of C called “Mini-C”, which did not include features such as pointer arithmetic. The researchers successfully tested their transformation system on two major code libraries, including the 80,000-line HACL* cryptographic library. Researchers say that some of the converted code has been integrated into Mozilla’s NSS and OpenSSH security systems. Memory security bugs accounted for 76% of Android vulnerabilities in 2019.