search

CTSRD-CHERI / cheri-c-programming

CHERI C/C++ Programming Guide
28 stars 3 forks source link

Specification of `sentry` #31

Open ruben-arm opened 2 years ago

ruben-arm commented 2 years ago

The document doesn't seem to specify sentry, however it refers to the concept which in combination with __builtin_cheri_seal_entry suggests that it might be a part of the CHERI C/C++ model. Would it be possible to clarify this concept and associated required behaviours, please?

nwf commented 2 years ago

FWIW: there's a lot of prose in the ISA doc, section 3.8, some of which might be useful in the programming guide (and some of which is much more philosophical in nature and probably isn't useful here).