2026年8月2日 你的 C 代码无需全面 rewrite 即可在 capability 硬件上运行 CHERI 的 hybrid ABI 让你可以逐步将 C 代码移植到 capability 硬件上。本文介绍如何编译、哪些代码会出问题,以及如何在不 rewrite 整个 codebase 的情况下修复它们。 hardware-assisted-safetychericporting
2026年8月1日 权能硬件没有失败。它只是提前 40 年到来。 自 1970 年代以来,硬件层面的内存安全性就已可行。以下是权能架构为何一直败给扁平内存模型,以及为什么 CHERI 终于正在改变这一等式。 hardware-assisted-safetycapability-hardwarecherisoftware-history
2026年7月31日 你的 C 依赖库可能让整个进程崩溃。WebAssembly 可以阻止它。 用容器来隔离单个 C 库未免小题大做。将其编译为 WebAssembly,在 WASI 沙箱中运行,即可实现内存安全、基于权能的文件系统访问和崩溃隔离,无需 Docker。 hardware-assisted-safetysandboxingcwebassembly
2026年7月30日 你的手机已经拥有能检测内存损坏的硬件 ARM Memory Tagging Extension 和 GWP-ASan 让现代移动设备在生产环境中检测内存安全成为可能。本文介绍它们的工作原理和权衡取舍。 hardware-assisted-safetymemory-corruptionmobileasan
2026年7月29日 缓冲区溢出之所以反复发生,是因为我们在软件层面修复它 CHERI是一种硬件扩展,它将每个指针转变为带有边界的权能。本文介绍它如何在CPU层面阻止缓冲区溢出、代价几何,以及如何在真实硬件上试用。 hardware-assisted-safetybuffer-overflowmemory-safetycheri