Date: Thu, 23 May 2024 13:22:51 -0400
IMO, CHERI or similar is going to be immensely important in the future
because it is an obvious and elegant solution to key aspects of the
heavily emphasized memory safety issues.
Caveat: for my PhD, I worked on a distant ancestor to CHERI pioneering
hardware memory controls (the CAP).
On 5/23/2024 7:58 AM, Corentin via Liaison wrote:
> (As an aside, while I understand there are platforms where uintptr
> would need to be bigger than sizeof(void*)... that's allowed!
> It's what CHERI seem to be doing
> https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-947.pdf )
because it is an obvious and elegant solution to key aspects of the
heavily emphasized memory safety issues.
Caveat: for my PhD, I worked on a distant ancestor to CHERI pioneering
hardware memory controls (the CAP).
On 5/23/2024 7:58 AM, Corentin via Liaison wrote:
> (As an aside, while I understand there are platforms where uintptr
> would need to be bigger than sizeof(void*)... that's allowed!
> It's what CHERI seem to be doing
> https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-947.pdf )
Received on 2024-05-23 17:22:54