Java Static Checkers

• Jlint  - 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.
• Jutils: Lint4j  - 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.
• PMD  - Contains a list of the Java source code's possible problems such as suboptimal and duplicate codes, bugs, and overcomplicated expressions.
• Sureshot: JiveLint v1.22  - Contains a list of the command line tool’s functions, demo, downloads, FAQs, manual, and associated partners.