Scripts used to analyze the amount of CHERI changes - View it on GitHub