I personally think the importance of choice of language is hard to overstate.
then you've eliminated buffer overflows from your code for all and forever.
of static analysis built into the language.
would pretty much be a solved problem.