static analysis with material from dave levin mike hicks dawson published presentations and documents on DocSlides.