Taming Undefined Behavior: Lessons from Ruby on Capability Hardware
Porting the CRuby virtual machine to the CHERI architecture revealed significant challenges related to undefined behavior in C, necessitating novel approaches to achieve memory safety.




