Slide 1 1 Improving Software Quality with Static Analysis Jeff Foster, Mike Hicks, William Pugh, Polyvios Pratikakis and Saurabh Srivastava (and lots of other students!)…