Comment by aw1621107

> Even in its own "memory safety" definition, which is the first result on Google, they criticize C instead of providing a proper definition:

I'm not sure that page is intended to provide a definition of "memory safety" in the first place? It (and the following page) seem more intended to introduce safe/unsafe Rust and the boundaries between the two.

It's also from the Rustinomicon, which states:

> Unlike The Rust Programming Language, we will be assuming considerable prior knowledge. In particular, you should be comfortable with basic systems programming and Rust.

So it's arguably unsurprising that a definition of memory safety would not be found there.

My guess is that if you want a more precise definition you'd want to look at the Rust Reference (e.g., [0]) or in related areas.

[0]: https://doc.rust-lang.org/reference/unsafety.html