Skip to content

[CHERIoT] Add warning for common array offset patterns that generate out-of-bounds intermediate capabilities.#284

Closed
resistor wants to merge 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:arr-off
Closed

[CHERIoT] Add warning for common array offset patterns that generate out-of-bounds intermediate capabilities.#284
resistor wants to merge 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:arr-off

Commits

Commits on Nov 30, 2025