Add analysis to support static guard measurements