Buffer Overflows Terus Terjadi Karena Kita Memperbaikinya di Software
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…