Comment by CyberRabbi

Automatically generating “memory safe” C is no harder than automatically generating “memory safe” LLVM bitcode.