Someone better tell Microsoft that one does not write C/C++, /s.
As for CHERIs, I have been following the research from afar and it is great to see how far they managed to come.
As for CHERIs, I have been following the research from afar and it is great to see how far they managed to come.
But I guess it can not because while the underlying allocation may have space for 100 objects, the high-level container might only have initialized the first 10 objects for example.
By the way Solaris SPARC ADI has been doing it for a decade now (bounds checking).