Comment by bmacho

> How would using a language different than C help here?

Easier to formulate invariants and check/prove them. Better language correlates with safer software.