A program's correctness goes way beyond memory safety, and is entirely at the mercy of thr programmer doing a good job. This is true regardless of whether the

A program's correctness goes way beyond memory safety, and is entirely at the mercy of thr programmer doing a good job. This is true regardless of whether the language has undefined behaviour or not.