Definition
Memory safety is the property that a program cannot read or write memory outside what its language semantics say it can — no buffer overflows, no use-after-free, no dangling pointers. It’s the single largest source of high-severity vulnerabilities in C and C++ codebases and the main thing memory-safe languages exist to provide.