riscv / riscv-cheri

This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
https://jira.riscv.org/browse/RVG-148
Creative Commons Attribution 4.0 International
37 stars 24 forks source link

Clarify wrapping behaviour of capability bounds #296

Closed PRugg-Cap closed 6 days ago

PRugg-Cap commented 1 week ago

Somebody pointed out that it was not clear when bounds checks should wrap and when they should not. This note clarifies that top bounds should not be treated as wrapping.