内存安全

Zig 语言内存安全机制深度解析

深入剖析 Zig 语言的内存安全机制——从编译期 comptime 检查、显式分配器模式、GeneralPurposeAllocator 运行时检测、Optional 类型消灭空指针、分级 Runtime Safety、Sentinel 终止数组、错误联合类型嵌入式安全实践,到与 C/Rust 的全面对比分析。

CHERI:硬件能力指针与内存安全的架构革命

从剑桥大学学术研究到ARM Morello真实硅片,CHERI (Capability Hardware Enhanced RISC Instructions) 正在硬件层面重新定义内存安全的边界。本文深入解析CHERI的capability指针机制、CHERI C语言扩展、CheriBSD实战部署,以及与其他安全扩展(MTE、BTI、PAC)的对比分析。