Text this: Static analysis to make the most of CHERI C/C++ for existing code