JLint

Checks Java bytecode for bugs, inconsistencies, and synchronization problems using data flow analysis and lock graph construction. Fast even on large projects; no class file modification required.