Static Analysis

Version 0.7 of Lint4J has been released.

Lint4j ("Lint for Java") is a static Java source code analyzer that detects locking and threading issues, performance and scalability problems, and checks complex contracts such as Java serialization by performing type, data flow, and lock graph analysis.

IBM's alphaWorks has a few other tools for static analysis -

Structural Analysis for Java

SA4J is a technology that analyzes structural dependencies of Java applications in order to measure their stability. It detects structural "anti-patterns" (suspicious design elements) and provides dependency web browsing for detailed exploration of anti-patterns in the dependency web. SA4J also enables "what if" analysis in order to assess the impact of change on the functionality of the application; and it offers guidelines for package re-factoring.

HeapAnalyzer

HeapAnalyzer allows the finding of a possible Java heap leak area through its heuristic search engine and analysis of the Java heap dump in Java applications.

HeapRoots

HeapRoots is a tool for debugging memory leaks in JavaTM applications through analysis of "heap dumps."

aDesigner

The aDesigner is a disability simulator that helps Web designers ensure that their pages are accessible and usable by the visually impaired.