Just bang out a bunch of C code, feed it to an AI: "Make this memory safe". Profit.
No need for rust, Ada, CHERI, SPARK, etc.
No need for rust, Ada, CHERI, SPARK, etc.
"As a large languge model, I can't answer your patch merge request you absolute fucking moron"