NASA even has their own sound static analyzer for memory safety. If you use something like that, and depending on the context, there isn't even necessarily a me

NASA even has their own sound static analyzer for memory safety. If you use something like that, and depending on the context, there isn't even necessarily a memory safety advantage to using Rust over C or C++. https://github.com/NASA-SW-VnV/ikos https://github.com/NASA-SW-VnV/ikos