1. Introduction
Bug finding tools such as FindBugs [6], JLint [1], and PMD [4] analyze source or binary code and warn about potential bugs. These tools tend to have a high rate of false positives: most warning instances do not indicate real bugs. These tools usually prioritize warning categories to put likely false positives at the bottom of the list, but these tools' prioritization is not very effective [9].