Ada has got your back. Entire classes of runtime bugs in C code are eliminated by compiler errors.

You can’t even make a integer overflow unless you’ve explicitly declared that statement as unsafe.