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月29日 buffer overflow之所以反覆發生,是因為我們在軟體層面修復它 CHERI是一種硬體擴展,它將每個指標轉變為帶有邊界的權能。本文介紹它如何在CPU層面阻止buffer overflow、代價幾何,以及如何在真實硬體上試用。 hardware-assisted-safetybuffer-overflowmemory-safetycheri