Attempting to dereference a null pointers may not violate memory safety, but it can do much worse things, like crash programs in the middle of unfinished transa

Attempting to dereference a null pointers may not violate memory safety, but it can do much worse things, like crash programs in the middle of unfinished transactions. If the atomicity guarantees are provided by someone else, then it's not much of a problem - it's their responsibility to clean up. However, if you're the one implementing the atomicity guarantees, you're pretty much screwed. And this is just an example.