(programming, of a program or programming language) Able to ensure memory safety.

(programming) Protection from software bugs and security vulnerabilities resulting from improper memory management, such as buffer overflows and dangling pointers.