2026年8月2日 你的 C 程式碼可以在 capability 硬體上執行，而且不需要全面 rewrite CHERI 的 hybrid ABI 讓你逐步將 C 程式碼移植到 capability 硬體上。以下介紹如何編譯、會遇到什麼問題，以及如何在不 rewrite 整個 codebase 的情況下修復它們。 hardware-assisted-safetychericporting
2026年8月1日 Capability 硬體沒有失敗，它只是早了四十年 硬體層級的記憶體安全性自 1970 年代就已可行。以下是 capability 架構為何一再敗給扁平記憶體模型，以及 CHERI 為何終於改變了這道算式。 hardware-assisted-safetycapability-hardwarecherisoftware-history
2026年7月31日 你的 C 相依程式庫可能讓整個行程當掉。WebAssembly 可以阻止它。 用 container 來隔離單一 C 程式庫未免小題大做。將其編譯為 WebAssembly，在 WASI sandbox中執行，即可實現記憶體安全、基於權能的檔案系統存取和當機隔離，無需 Docker。 hardware-assisted-safetysandboxingcwebassembly
2026年7月30日 你的手機已經擁有能偵測記憶體損壞的硬體 ARM Memory Tagging Extension 和 GWP-ASan 讓現代行動裝置在生產環境中偵測記憶體安全成為可能。本文介紹它們的工作原理和權衡取捨。 hardware-assisted-safetymemory-corruptionmobileasan
2026年7月29日 buffer overflow之所以反覆發生，是因為我們在軟體層面修復它 CHERI是一種硬體擴展，它將每個指標轉變為帶有邊界的權能。本文介紹它如何在CPU層面阻止buffer overflow、代價幾何，以及如何在真實硬體上試用。 hardware-assisted-safetybuffer-overflowmemory-safetycheri
