Jlint will check your Java code and find bugs, inconsistencies and synchronization problems by doing data flow analysis and building the lock graph. One of the few open source static analysis tools available.

This tool can help with Java code reviews, by automating a style (layout) verification. The tool allows you to write your own checks, so you can extend the ‘out of the box’ checks.

One of the few static testing tools we have seen. This tool automatically examines java code to seek out suspicious code that may be indicative of a bug. Some of the conditions reported includes method ignores results of InputStream.read() and Method may fail to close stream.