Well, memory safety is not a boolean, it's a property that's defined by the memory model of the language. That model also defines the impact of a violation.