2 ms·Formal mechanised semantics of CHERI C: capabilities, undefined behaviour, and p2 points by fanf2 2y ago