The question and all answers so far assume that memory safety is a clear and well-understood concept! Au contraire! Can I bring [1] to your attention? The pap

The question and all answers so far assume that memory safety is a clear and well-understood concept! Au contraire! Can I bring [1] to your attention? The paper argues that our intuition about memory safety means allowing for local reasoning about state. [1] https://arxiv.org/abs/1705.07354 https://arxiv.org/abs/1705.07354