it’s joever for Cniles (I am one of them 😔)
Critical support for automated generation of garbage code for American military.
Unlimited memory safety vulnerabilities on the first world!
us military to run C code through chatGPT to get rust code
recent breakthroughs in machine learning techniques, like large language models (LLMs), have created an environment that may lend itself to a new class of solutions.
DARPA’s Translating All C to Rust (TRACTOR) program wants to seize this opportunity by substantially automating the translation of the world’s legacy C code to Rust.
“You can go to any of the LLM websites, start chatting with one of the AI chatbots, and all you need to say is ‘here’s some C code, please translate it to safe idiomatic Rust code,’ cut, paste, and something comes out, and it’s often very good
Instead of mass translating C code in some insane ready-to-ruin codebases project, why not just… make a compiler that addresses the vulnerabilities?
They did, it’s called rustc
. A compliant C compiler cannot escape giving a programmer unfettered access to manipulate memory, so the problem is not in the compiler. There are safe subsets of C that don’t exhibit these problems, but a compiler that only supports such a subset is no longer a C compiler.
unsafe everywhere