Improving Software Quality with Static Analysis.ppt

FindBugs Improving Software Quality with Static Analysis Jeff Foster, Mike Hicks, William Pugh, Polyvios Pratikakis and Saurabh Srivastava (and lots of other students!) Univ. of Maryland, College Park /projects/PL Students Nat Ayewah Brian Corcoran Mike Furr David Greenfieldboyce Chris Hayden Gary Jackson Iulian Neamtiu Nick L. Petroni, Jr. Polyvios Pratikakis Saurabh Srivastava Nikhil Swamy Octavian Udrea Approach to Building Useful Tools Scope What properties are of interest? Technique Bug finding or verification? How to balance efficiency, utility, and precision? Evaluation How to show th