> what is "safe" code without a guarantee of memory safety? Memory safety is the absolute minimum for safety critical code. It seems to be surprise for most p

> what is "safe" code without a guarantee of memory safety? Memory safety is the absolute minimum for safety critical code. It seems to be surprise for most people that you can write memory safe code in C and check for that statically and that includes static stack and heap exhaustion checks.