search

CTSRD-CHERI / qemu

QEMU with support for CHERI
Other
52 stars 28 forks source link

[CHERI-RISC-V] Check for AccessSystemRegs permission in mret/sret #212

Closed arichardson closed 1 year ago

arichardson commented 1 year ago

It appears we were not doing this. Found while fuzzing against sail.