c

2 posts

hardware-assisted-safetychericporting

你的 C 程式碼可以在 capability 硬體上執行，而且不需要全面 rewrite

CHERI 的 hybrid ABI 讓你逐步將 C 程式碼移植到 capability 硬體上。以下介紹如何編譯、會遇到什麼問題，以及如何在不 rewrite 整個 codebase 的情況下修復它們。

你手上有一份龐大到無法用 Rust rewrite、卻又關鍵到不能放任緩衝區溢位風險的 C codebase。CHERI capability 硬體承諾在 CPU 層級攔截記憶體安全違規，但網路上不斷有人告訴你 CHERI 指標是 128 位元，而你的程式碼假設它是 64 位元。 好消息是，CHERI…
hardware-assisted-safetysandboxingcwebassembly

你的 C 相依程式庫可能讓整個行程當掉。WebAssembly 可以阻止它。

用 container 來隔離單一 C 程式庫未免小題大做。將其編譯為 WebAssembly，在 WASI sandbox中執行，即可實現記憶體安全、基於權能的檔案系統存取和當機隔離，無需 Docker。

C 程式庫內部的一次空指標解參照就可能導致整個應用程式當掉。如果該程式庫負責剖析使用者輸入、解壓縮影像或處理網路 protocol，那麼一個格式錯誤的封包就足以引發當機。container 確實能解決這個問題，但僅為了一個相依項目就啟動 Docker，無異於為盆栽雇用保鏢。你需要的是沒有額外負擔的隔離。…