olemus
programmikeel, mis ei lase teha mõningaid tahtmatuid mäluhalduse vigu
=
a programming language that prevents certain types of memory-related errors, such as buffer overflows, null pointer references and use-after-free errors, which can lead to crashes, data corruption and security vulnerabilities

näiteid
C#, Go, Java, Ruby, Rust

ülevaateid
https://media.defense.gov/2022/Nov/10/2003112742/-1/-1/0/CSI_SOFTWARE_MEMORY_SAFETY.PDF

https://cseweb.ucsd.edu/~dstefan/cse227-spring19/papers/amorim:memory.pdf