這里主要介紹三種開源的工具，PMD、CheckStyle和FindBugs，著重是在Ant里的調(diào)用，據(jù)說商業(yè)軟件JTest也是著名的代碼分析工具，哈哈，要花錢的沒有用過。

PMD （http://pmd./）

簡介: PMD 掃描java源代碼，查找潛在的問題，如：

可能的bugs，如空的try/catch/finally/switch聲明

死亡的代碼，沒有使用的本地變量，參數(shù)和私有方法

不合標準的代碼，如String/StringBuffer用法

過于復雜的表達式，如不必要的if表達式

重復的代碼，拷貝、粘貼的代碼

PMD 的含義，如

Project Mess Detector

Project Monitoring Directives

Project Meets Deadline

Programming Mistake Detector…

用法： 可以在命令行下執(zhí)行，如

pmd c:\Test.java xml rulesets/unusedcode.xml

也可以使用IDE的插件，如Eclipse、IDEA、JBuilder、JCreator等等

這里主要介紹Ant里的調(diào)用，

下面是主要的Ant配置信息

<path id="pmd.path">    
    <fileset dir="${lib.dir}/pmd-3.8">
        <include name="**/*.jar" />
    </fileset>
</path>
<taskdef name="pmd" classname="net.sourceforge.pmd.ant.PMDTask" classpathref="pmd.path"/>
<taskdef name="cpd" classname="net.sourceforge.pmd.cpd.CPDTask" classpathref="pmd.path"/>
    <target name="pmd">
        <pmd shortFilenames="true">
            <ruleset>rulesets/favorites.xml</ruleset>            
            <formatter type="html" toFile="d:\foo.html" toConsole="false"/>
            <fileset dir="${src.dir}">
                <include name="**/*.java"/>
            </fileset>
        </pmd>
    </target>
<target name="cpd">        
        <cpd minimumTokenCount="100" outputFile="d:/cpd.txt">
            <fileset dir="${src.dir}">
                <include name="**/*.java"/>
            </fileset>
        </cpd>
    </target>

自定義規(guī)則：

有兩個辦法來自定義規(guī)則，可以編寫java類和編寫XPath，編寫java類的一般步驟是，先確定要查找的代碼形式，利用PMD自帶的designer.bat工具查看AST（抽象語法樹），然后編寫規(guī)則類（繼承net.sourceforge.pmd.AbstractRule），然后編寫一個ruleset的XML文件，最后就可以運行PMD進行檢查。編寫XPath比編寫java類要容易些，但也需要掌握AST的含義，利用designer.bat工具可以查看AST，比如 //ClassBody [count(//VariableDeclarator[../Type/Name[@Image=‘Logger‘]])>1] ，這個表達式就是查找類的代碼里是否聲明了多個 Logger ，然后編寫一個 ruleset 的 XML 文件，最后運行 PMD 進行檢查。這里是一個 ruleset 的 XML 文件的例子。

自定義規(guī)則集合：

自帶了很多代碼規(guī)范的規(guī)則，還可以自定義規(guī)則，我們可以把這些規(guī)則整合到一起，按照我們的需求進行代碼檢查。

<!-- 使用整個strings規(guī)則集 -->
  <rule ref="rulesets/strings.xml"/>
<!-- 使用某個規(guī)則集里的某個規(guī)則 -->
  <rule ref="rulesets/unusedcode.xml/UnusedLocalVariable"/>
  <!-- 指定某個規(guī)則集里的某個規(guī)則的優(yōu)先級 -->
<rule ref="rulesets/basic.xml/EmptyCatchBlock" message="Must handle exceptions">
    <priority>2</priority>
    </rule>
          <!-- 去除某個規(guī)則集里的某個規(guī)則 -->
<rule ref="rulesets/braces.xml">
    <exclude name="WhileLoopsMustUseBracesRule"/>
  </rule>

最后，我們運行PMD的時候就可以指定這個 ruleset 文件。

自帶規(guī)則的介紹：

PMD 自帶了很多規(guī)則集合，并且分類寫入不同的 ruleset 文件，如

Basic 包含每人都必須遵守的代碼最佳實踐，如EmptyCatchBlock

Braces 關于條件分支的規(guī)則，如IfStmtsMustUseBraces

Code Size 關于代碼大小的規(guī)則，如方法的長度，參數(shù)的長度，屬性的個數(shù)等

Clone 克隆實現(xiàn)的規(guī)則，如是否有super.clone()

Controversial 一些有爭議的規(guī)則，如UnnecessaryConstructor不必要的構造器

Coupling 對象連接有關的規(guī)則

Design 可以檢查有問題的設計，如SwitchStmtsShouldHaveDefault

Finalizers 使用finalizers時需遵循的規(guī)則，如FinalizeOnlyCallsSuperFinalize

Import Statements 和import有關的規(guī)則，如DuplicateImports重復import

J2EE 唯一規(guī)則UseProperClassLoader，class.getClassLoader()可能不正確，用

Thread.currentThread().getContextClassLoader() 代替

Javabeans 和javabean規(guī)范有關的規(guī)則，有BeanMembersShouldSerialize屬性必須

序列化和MissingSerialVersionUID缺少序列化ID

JUnit Tests 和JUnit測試有關的，如JUnitSpelling拼寫檢查等

Logging (Java) 檢查Logger的一些錯誤用法，如MoreThanOneLogger多個Logger

Logging (Jakarta) 使用Jakarta Logger的一些規(guī)則，有UseCorrectExceptionLogging

異常處理不當和ProperLogger是否正確定義Logger

Migrating JDK 版本移植的規(guī)則，如ReplaceVectorWithList用List代替Vector

Naming 和命名有關的規(guī)則，名稱太短或太長，命名的約定等

Optimizations 優(yōu)化性能的一些規(guī)則，如LocalVariableCouldBeFinal本地變量如果

只賦值一次，則應該聲明為final

Strict Exceptions 比較嚴格的異常處理方針，如AvoidCatchingThrowable

Strings 使用String和StringBuffer時應遵守的規(guī)則，如StringToString

Sun Security 編寫安全的代碼，有MethodReturnsInternalArray直接返回內(nèi)部的數(shù)組，

更安全的做法是返回一個拷貝和ArrayIsStoredDirectly

Unused Code 檢查未使用的代碼，如UnusedPrivateField未使用的私有屬性

Java Server Pages 編寫jsp的一些方針，如NoLongScripts

Java Server Faces 編寫jsf的一些方針，有DontNestJsfInJstlIteration，在Jsf

里使用jstl的標簽

PMD 里面還有一個寫好的ruleset文件，在pmd-3.8.jar里面的rulesets文件夾下，名稱是favorites.xml，以下是主要部分：

< rule  ref ="rulesets/basic.xml" />
< rule  ref ="rulesets/basic.xml/EmptyCatchBlock"  message ="Must handle exceptions" >
         < priority > 2 </ priority >
</ rule >
     < rule  ref ="rulesets/unusedcode.xml" />
< rule  ref ="rulesets/braces.xml/WhileLoopsMustUseBraces" />
< rule  ref ="rulesets/braces.xml/ForLoopsMustUseBraces" />
< rule  ref ="rulesets/design.xml/SimplifyBooleanReturns" />
< rule  ref ="rulesets/design.xml/SwitchStmtsShouldHaveDefault" />
< rule  ref ="rulesets/strings.xml/StringToString" />
< rule  ref ="rulesets/strings.xml/StringInstantiation" />
< rule  ref ="rulesets/controversial.xml/UnnecessaryConstructor" />
< rule  ref ="rulesets/controversial.xml/NullAssignment" />
< rule  ref ="rulesets/controversial.xml/UnusedModifier" />
< rule  ref ="rulesets/codesize.xml/CyclomaticComplexity" >
     < properties >< property  name ="reportLevel"  value ="5" /></ properties >
</ rule >

其它事項：

1.     可以使用JDK1.5的聲明 @SuppressWarnings("")，禁止PMD的警告。

2.     可以使用//NOPMD來標記行或塊代碼，禁止PMD警告。

3.     有兩種方法自定義Rule，編寫java類和編寫XPath。

4.     PMD 提供了多種IDE的插件來運行PMD。

參考文檔：

PMD 官方文檔（http://pmd./）

OnJava 上一篇文檔（ http://www./pub/a/onjava/2003/04/09/pmd_rules.html ）

代碼靜態(tài)分析（http://blog.donews.com/foxgem/archive/2005/04/23/347444.aspx）