It's a hot area of research, and there are more than these two hardware approaches. Fil-C has some of the same aims as CHERI.
Researchers from Carnegie Mellon University have released PolyCoder, an automated code generator model that was trained on multiple programming languages, which they say is particularly good at ...