3 ms·
The 26% that aren't covered makes sense to me. It's the gap between the 54% and 72% that I'm trying to understand. My recollection is that by default CHERI pro
by insanitybit 3y ago
The 26% that aren't covered makes sense to me. It's the gap between the 54% and 72% that I'm trying to understand.
My recollection is that by default CHERI provides strong spatial safety but it requires work (and possibly primitives that do not fully exist yet) to get the temporal safety. I'm wondering if that's what this is/ if my recollection is correct.
- sweetjuly 3y agoYes. CHERI handily solves the spatial issue but does not really have a good solution for temporal safety as every solution eventually ends up requiring sweeping memory and revoking capabilities. Temporal safety really is a beast of an issue and it's still unclear whether there is a palatable solution using CHERI.
- insanitybit 3y agoMakes sense, thanks. TBH guaranteed spatial safety is such a nice win I'd take that and still be happy.