I&#x27;ve been working through the paper for almost two hours now. I&#x27;m not an expert on static analysis, so I don&#x27;t know how much of the information in here is novel, but the paper does a great job of concisely conveying a lot of interesting ideas. His model for representing data exposures is beautiful in its simplicity, and I think it could almost trivially be adapted for dynamic analysis too.<p>Definitely worth a skim in my opinion.