nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqncxka2nmkqkndk4wkuf3tz3l39z9m8xax3aen3h8tvudwgjmf5mqr5sqcg (nprofile…sqcg) I have a question about CHERI:
Dynamic language implementations often use tagged pointers (involving doing some violence with uintptr_t casts and bit shifts/masking, the assumption being that you have three 0 bits at the low end of any pointer). Is that possible within CHERI?
Relatedly, for language implementations where the high-level language is already memory safe by construction, is it possible to use the extra bits in a CHERI pointer for other purposes (e.g. type tagging)?
