Aerospace already has software standards for certification like DO-178C which is critical for certification from the FAA. You don't have to be licensed to write the software, but if it doesn't meet standards required for certification, well you have to fix it.

Yeah I was talking about MISRA and the like really, seems like a problem that's already solved to some degree