Lint4j 0.9.1

Lint4j ("Lint for Java") is a static Java source and byte 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.
Lint for Java was created to help software developers detect defects and security vulnerabilities before writing the first test case. Lint4j saves time during code reviews as well, so developers can focus on getting business logic right. The Ant and Maven plugins enable easy integration into continuous builds with Cruise Control, AntHill and others.
The checks that are implemented represent the most common problems that were found while implementing products designed for performance and scalability, such as VisiBroker for Java (the CORBA ORB from Borland, and the basis for the Borland J2EE container), the WebObjects application server from Apple Computer, the OpenEJB container, the OpenORB CORBA implementation, and the JBoss J2EE application server.
In addition, numerous of the problems described in the following books are detected:
Java Pitfalls, by Daconta, Monk, Keller, and Bohnenberger, Wiley 2000
Effective Java Programming Guide, by Joshua Bloch, Addison-Wesley 2001
Bug Patterns in Java, by Eric Allen, APress 2002
Java 2, Performance and idiom guide, Craig Larmann, and Rhett Guthrie, Prentice-Hall, 2000
The Java Language Specification, 2nd edition, by James Gosling, Bill Joy, Guy Steele, Gilad Bracha
Enhancements:
- This maintenance release adds support for an XML formatter in the Lint4j Ant task to allow tools to post-process the warning messages.
- Several bugfixes are included as well.