Buffer Overflows Continuam Acontecendo Porque nodes Os Corrigimos em Software
CHERI é uma extensão de hardware que transforma cada pointer em uma bounded capability. Veja como ela impede buffer overflows no nível da CPU, o que custa e como testá-la em hardware real.
Buffer overflows estão no CWE Top 25 há vinte anos. Temos stack canaries, ASLR, DEP, control-flow integrity e linguagens memory-safe, e ainda assim eles…