lots of things can go wrong in any language

Some languages, by design, exclude or drastically reduce certain classes of error.

Edit: I think I'm missing the point too. Proposing the perfect world as an engineering solution is silly. So in the context of "it's written in C", checklists would be a step forward.