Cコードを全面的に rewrite しなくても、キャパビリティハードウェア上で動作させられる
CHERIのハイブリッドABIを使えば、Cコードを段階的にキャパビリティハードウェアへ移植できる。コンパイル方法、どこが壊れるか、そして codebase 全体を rewrite せずに修正する方法を解説する。
あなたには、Rustに rewrite…
cheri
3 posts
ケイパビリティ・ハードウェアは失敗しなかった。40年早すぎただけだ。
1970年代から、ハードウェアレベルでのメモリ安全性は可能だった。なぜケイパビリティ・アーキテクチャがフラット・メモリ・モデルに敗れ続けたのか、そしてなぜCHERIがついに状況を変えているのか。
CVEの70%はメモリ安全性の欠陥である。バッファオーバーフロー、use-after-free、二重解放。不正なJPEGからroot権限への横展開を可能にする、そういった種類の脆弱性だ。…
バッファオーバーフローが頻発するのは、我々がソフトウェアで対処しているからだ
CHERIは、すべてのポインタを境界付きcapabilityに変換するハードウェア拡張である。CPUレベルでバッファオーバーフローを阻止する仕組み、コスト、および実機での試用方法を解説する。
バッファオーバーフローは二十年間にわたりCWE Top…