Semantics for some other CHERI permissions (seal/unseal, global/store_local_cap)

CTSRD-CHERI / cheri-c-programming

CHERI C/C++ Programming Guide

28 stars 3 forks source link

Open ruben-arm opened 2 years ago

ruben-arm commented 2 years ago

The document doesn't specify anything about:

Would it be possible to clarify CHERI-generic (implementation-agnostic) semantics of these?