The Therac-25 tragedy was not a memory-management issue. If its had been written in Rust the state machine error would still have cooked a lot of people.

Indeed, if we wanted to prevent it we would use ADA/Spark or a language with formal verification support say Frama-C.