Provides a download of the tool that verifies Java code and searches bugs by means of performing an analysis on data flow and lock graph building.

Features the Lint for Java byte code analyzer for plug-ins namely Eclipse, Maven, and Gauntlet. Provides a list of available sample reports and programs detected by the tool.

Contains a list of the Java source code's possible problems such as suboptimal and duplicate codes, bugs, and overcomplicated expressions.