Memory Safety

释义 Definition

内存安全：指程序在读写内存时遵守正确的边界与生命周期规则，避免常见漏洞与错误（如越界访问、悬空指针、use-after-free、双重释放等），从而减少崩溃与安全风险。该术语主要用于系统编程与软件安全语境中。

发音 Pronunciation (IPA)

/ˈmɛməri ˈseɪfti/

例句 Examples

Memory safety prevents many common bugs in low-level programs.
内存安全可以防止许多底层程序中的常见错误。

The team chose a language with stronger memory safety guarantees to reduce the risk of buffer overflows and use-after-free vulnerabilities in production.
团队选择了一种具有更强内存安全保障的语言，以降低生产环境中缓冲区溢出与释放后使用等漏洞风险。

词源 Etymology

memory 源自拉丁语 memoria（记忆、记忆力）；safety 与拉丁语 salvus（安全、完好）相关，经由法语/中古英语演变而来。现代计算机语境中的 memory safety 属于术语化组合，强调“对内存的安全使用”，尤其在 C/C++ 等允许直接操作内存的语言背景下更常被讨论。

相关词 Related Words

• Memory
• Safety
• Buffer Overflow
• Undefined Behavior
• Use-after-free
• Bounds Checking
• Type Safety
• Memory Management
• Rust
• Sandboxing

文学与著作中的用例 Literary Works

• The Rust Programming Language（Steve Klabnik, Carol Nichols）——多处讨论 Rust 的“memory safety（内存安全）”目标与机制。
• *Secure Coding in C and C++*（Robert C. Seacord）——围绕 C/C++ 的内存错误与安全编码实践，频繁涉及内存安全问题。
• CERT C Coding Standard（Robert C. Seacord 等，相关标准与指南）——大量条目与“内存安全”直接相关（如越界、生命周期、未定义行为）。
• Computer Systems: A Programmer’s Perspective（Randal E. Bryant, David R. O’Hallaron）——在讲解内存与程序行为时涉及导致不安全的内存访问模式与后果。