C++ Logo


Advanced search

Re: [isocpp-wg14/wg21-liaison] P3248R0 Require [u]intptr_t

From: Martin Uecker <ma.uecker_at_[hidden]>
Date: Thu, 23 May 2024 20:31:22 +0200
Am Donnerstag, dem 23.05.2024 um 13:22 -0400 schrieb Bjarne Stroustrup via Liaison:
> 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 )

I don't thinks so. CHERI extends the size of a void*
to include space for a capability and uintptr_t then
has the same size to make roundtrips possible.
And uintptr_t in CHERI is not a true integer type.


> _______________________________________________
> Liaison mailing list
> Liaison_at_[hidden]
> Subscription: https://lists.isocpp.org/mailman/listinfo.cgi/liaison
> Link to this post: http://lists.isocpp.org/liaison/2024/05/1419.php

Received on 2024-05-23 18:31:27