[29athrowaway]

If you can afford hundreds thousands of dollars worth of static analysis tools, pick C.

Otherwise go back in time and use Cyclone.

Or use Ada or Rust.