这里列出了3种Java静态分析工具，每一种工具关注一个特定的能发挥自己特长的领域，我们可以列举一下：

Java代码检查工具 PMD
Pmd 它是一个基于静态规则集的Java源码分析器，该软件功能强大，扫描效率高，是Java程序员debug的好帮手。
它可以识别出潜在的如下问题：
– 可能的bug——空的try/catch/finally/switch块。
– 无用代码(Dead code)：无用的本地变量，方法参数和私有方法。
– 空的if/while语句。
– 过度复杂的表达式——不必要的if语句，本来可以用while循环但是却用了for循环。
– 可优化的代码：浪费性能的String/StringBuffer的使用。
PMD支持的编辑器包括：
JDeveloper、Eclipse、JEdit、JBuilder、BlueJ、CodeGuide、NetBeans/Sun Java Studio Enterprise/Creator、IntelliJ IDEA、TextPad、Maven、Ant,、Gel、JCreator和Emacs。
Java代码Bug分析插件 FindBugs
FindBugs是一个能静态分析源代码中可能会出现Bug的Eclipse插件工具。

下载之后，把解冻后的文件拷贝到 $ECLIPSE_HOME/plugins/目录下，重新启动eclipse即完成安装。

FindBugs的设置：
安装好之后，可以通过 Projects > Property > FindBugs标签对其进行设置。设置方法可以根据自己的需要进行调整。

另外在 问题（Proplems）列表窗口（Windows > 视图 > 问题）的Filter设置里，把FindBugs的有关选项都check上。

FindBugs地执行：
选中 所在项目，鼠标右键 > Find Bugs > Find Bugs执行

详解FindBugs的各项检测器
Findbugs 缺陷详解与英文代号的对照表
Java代码检查 Checkstyle
CheckStyle是SourceForge下的一个项目，提供了一个帮助JAVA开发人员遵守某些编码规范的工具。它能够自动化代码规范检查过程，从而使得开发人员从这项重要，但是枯燥的任务中解脱出来。

CheckStyle检验的主要内容
·Javadoc注释
·命名约定
·标题
·Import语句
·体积大小
·空白
·修饰符
·块
·代码问题
·类设计
·混合检查（包活一些有用的比如非必须的System.out和printstackTrace）

从上面可以看出，CheckStyle提供了大部分功能都是对于代码规范的检查，而没有提供象PMD和Jalopy那么多的增强代码质量和修改代码的功能。但是，对于团队开发，尤其是强调代码规范的公司来说，它的功能已经足够强大。

厉害啊，很不错哦