This is what a imagine late stage security after OS mature there stacks and such. The advent/widespread use of robost memory protections like PAC and Cheri are going to be so depressing for those on the offensive.

I wish I just had more time to do math like the OP but the saturation of the field especially with people who can deeply understand the abstraction is very very intimidating.