Memory safety is a property of implementation, not program execution; most definitions incorrectly focus on the wrong aspect of the system.