Software AI programming rust DARPA's ambitious plan to turn "legacy" C software into memory-safe Rust code with AI This is definitely a "DARPA-hard" kind of engineering problem, experts warn By ...

TrapC code resembles C/C++ code, but, according to Rowe, it's memory safe. That is to say, its pointers cannot produce segfaults, buffer overruns, or memory leaks.

The US authority DARPA wants to eliminate security vulnerabilities caused by memory errors. AI is to transfer legacy code in C and C++ into high-quality Rust.