memory-safety

バッファオーバーフローが頻発するのは、我々がソフトウェアで対処しているからだ

CHERIは、すべてのポインタを境界付きcapabilityに変換するハードウェア拡張である。CPUレベルでバッファオーバーフローを阻止する仕組み、コスト、および実機での試用方法を解説する。