There is currently a LLVM proposal for -fbounds-safety that seems like a software version of this, although not quite as good: https://discourse.llvm.org/t/rfc

There is currently a LLVM proposal for -fbounds-safety that seems like a software version of this, although not quite as good: https://discourse.llvm.org/t/rfc-enforcing-bounds-safety-in-c-fbounds-safety/70854 https://discourse.llvm.org/t/rfc-enforcing-bounds-safety-in-... In particular, it will allow safety issues from type casting, which do not happen under Cheri C/C++: https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-947.pdf https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-947.pdf I hope that the two efforts could be combined. Having a software version of Cheri for "legacy hardware" would give us the best of both worlds.