Memory allocation analysis for informing the design of CHERI-based revocation. - View it on GitHub