Memory Safety

Memory safety refers to a class of programming language properties and runtime protections that prevent vulnerabilities arising from incorrect memory access — including buffer overflows, use-after-free, double-free, and null pointer dereferences. Memory-safe languages like Rust enforce ownership rules at compile time, eliminating entire vulnerability classes present in C/C++ without runtime overhead.

The NSA and CISA recommend migrating to memory-safe languages for new development.