3 posts
ABI hibrida CHERI memungkinkan Anda mem-porting kode C ke perangkat keras capability secara bertahap. Berikut cara mengompilasinya, apa yang rusak, dan cara memperbaikinya tanpa rewrite seluruh codebase Anda.
Anda memiliki codebase C yang terlalu besar untuk rewrite dalam Rust dan terlalu kritis untuk dibiarkan rentan terhadap buffer overflow. Perangkat keras…
Keamanan memori di tingkat hardware telah mungkin sejak tahun 1970-an. Berikut mengapa arsitektur capability terus kalah dari model memori datar, dan mengapa CHERI akhirnya mengubah persamaan tersebut.
Tujuh puluh persen CVE adalah bug memory safety. Buffer overflow, use-after-free, double free. Jenis kerentanan yang memungkinkan penyerang berpindah dari JPEG…
CHERI adalah ekstensi hardware yang mengubah setiap pointer menjadi bounded capability. Berikut cara ia menghentikan buffer overflow di level CPU, biayanya, dan cara mencobanya di hardware nyata.
Buffer overflow sudah berada di CWE Top 25 selama dua puluh tahun. Kita punya stack canary, ASLR, DEP, control-flow integrity, dan bahasa memory-safe, namun…