Finding Error-Handling Bugs in Systems Code Using Static Analysis [2011] [pdf]pages.cs.wisc.edu2 pointsadamnemecek12 years ago