memory-safety

Buffer Overflows Keep Happening Because We Fix Them in Software

CHERI is a hardware extension that turns every pointer into a bounded capability.