That is a nice list and all, and I would add that if you can't use a memory safe programming language then you should look closely at the compiler flags in use

That is a nice list and all, and I would add that if you can't use a memory safe programming language then you should look closely at the compiler flags in use as well. But if you need all that to spot the obvious issue in the OP's original specification ... then wow.