Programming paper: CHERI (Capability Hardware Enhanced RISC Instructions) is a novel hardware designed to address memory safety issues. By replacing traditional pointers with hardware capabilities, it enhances security in modern software systems. A Virtual Machine (VM) is one such system that can benefit from CHERI...

Programming Journal's publication is a resource for developers seeking to expand their knowledge and skills in software development. Through articles, tutorials, and coding challenges, Programming Journal offers insights into programming languages, algorithms, and data structures. Readers can learn about best practices in software engineering, problem-solving techniques, and coding interview preparation to excel in their careers as developers.

The Programming Journal

CHERI (Capability Hardware Enhanced RISC Instructions) replaces traditional pointers with hardware capabilities to enforce memory safety. Porting virtual machines to CHERI is non-trivial because many VM implementation techniques rely on C undefined behaviors that are valid on conventional architectures but break under CHERI's stricter model. Researchers ported CRuby to CHERI as a case study, categorized the VM-specific pitfalls encountered, and documented workarounds with their trade-offs. The findings are validated against the CRuby port and prior VM porting case studies, providing a practical guide for developers building or porting VMs to CHERI.

Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby