Plug-Ins

PMD

Checkstyle

Has Eclipse Plugin

Source code based

More focused on coding conventions; less on actual bug patterns

FindBugs

Has Eclipse Plugin

Byte code based

Java PathFinder

Developed by NASA

A Java Virtual Machine (JVM) that is used as an explicit state software model checker, systematically exploring all potential execution paths of a program to find violations of properties like deadlocks or unhandled exceptions.

Reports the entire execution path that leads to a defect.

Designed for analyzing multi-threaded applications;
can find deadlocks.

Thanks To

Phillipe P. Mulet at IBM France for explaining some of the trickier ones to me