日韩黑丝制服一区视频播放|日韩欧美人妻丝袜视频在线观看|九九影院一级蜜桃|亚洲中文在线导航|青草草视频在线观看|婷婷五月色伊人网站|日本一区二区在线|国产AV一二三四区毛片|正在播放久草视频|亚洲色图精品一区

分享

靜態(tài)分析工具及使用總結(jié)(一)...

 nbtymm 2006-11-10

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

 

PMD http://pmd./

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

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

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

不合標(biāo)準(zhǔn)的代碼,如String/StringBuffer用法

過于復(fù)雜的表達(dá)式,如不必要的if表達(dá)式

重復(fù)的代碼,拷貝、粘貼的代碼

PMD 的含義,如

Project Mess Detector

Project Monitoring Directives

Project Meets Deadline

Programming Mistake Detector…

 

用法: 可以在命令行下執(zhí)行,如

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

也可以使用IDE的插件,如Eclipse、IDEAJBuilder、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ī)則:

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

 

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

PMD 自帶了很多代碼規(guī)范的規(guī)則,還可以自定義規(guī)則,我們可以把這些規(guī)則整合到一起,按照我們的需求進(jìn)行代碼檢查。
<!-- 使用整個(gè)strings規(guī)則集 -->
  
<rule ref="rulesets/strings.xml"/>
<!-- 使用某個(gè)規(guī)則集里的某個(gè)規(guī)則 -->
  
<rule ref="rulesets/unusedcode.xml/UnusedLocalVariable"/>
  
<!-- 指定某個(gè)規(guī)則集里的某個(gè)規(guī)則的優(yōu)先級(jí) -->
<rule ref="rulesets/basic.xml/EmptyCatchBlock" message="Must handle exceptions">
    
<priority>2</priority>
    
</rule>
          
<!-- 去除某個(gè)規(guī)則集里的某個(gè)規(guī)則 -->
<rule ref="rulesets/braces.xml">
    
<exclude name="WhileLoopsMustUseBracesRule"/>
  
</rule>

最后,我們運(yùn)行PMD的時(shí)候就可以指定這個(gè) ruleset 文件。

 

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

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

Basic 包含每人都必須遵守的代碼最佳實(shí)踐,如EmptyCatchBlock

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

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

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

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

Coupling 對(duì)象連接有關(guān)的規(guī)則

Design 可以檢查有問題的設(shè)計(jì),如SwitchStmtsShouldHaveDefault

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

Import Statements import有關(guān)的規(guī)則,如DuplicateImports重復(fù)import

J2EE 唯一規(guī)則UseProperClassLoaderclass.getClassLoader()可能不正確,用

Thread.currentThread().getContextClassLoader() 代替

Javabeans javabean規(guī)范有關(guān)的規(guī)則,有BeanMembersShouldSerialize屬性必須

序列化和MissingSerialVersionUID缺少序列化ID

JUnit Tests JUnit測試有關(guān)的,如JUnitSpelling拼寫檢查等

Logging (Java) 檢查Logger的一些錯(cuò)誤用法,如MoreThanOneLogger多個(gè)Logger

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

異常處理不當(dāng)和ProperLogger是否正確定義Logger

Migrating JDK 版本移植的規(guī)則,如ReplaceVectorWithListList代替Vector

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

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

只賦值一次,則應(yīng)該聲明為final

Strict Exceptions 比較嚴(yán)格的異常處理方針,如AvoidCatchingThrowable

Strings 使用StringStringBuffer時(shí)應(yīng)遵守的規(guī)則,如StringToString

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

更安全的做法是返回一個(gè)拷貝和ArrayIsStoredDirectly

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

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

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

里使用jstl的標(biāo)簽

PMD 里面還有一個(gè)寫好的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 >

其它事項(xiàng):

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

2.     可以使用//NOPMD來標(biāo)記行或塊代碼,禁止PMD警告。

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

4.     PMD 提供了多種IDE的插件來運(yùn)行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

    本站是提供個(gè)人知識(shí)管理的網(wǎng)絡(luò)存儲(chǔ)空間,所有內(nèi)容均由用戶發(fā)布,不代表本站觀點(diǎn)。請(qǐng)注意甄別內(nèi)容中的聯(lián)系方式、誘導(dǎo)購買等信息,謹(jǐn)防詐騙。如發(fā)現(xiàn)有害或侵權(quán)內(nèi)容,請(qǐng)點(diǎn)擊一鍵舉報(bào)。
    轉(zhuǎn)藏 分享 獻(xiàn)花(0

    0條評(píng)論

    發(fā)表

    請(qǐng)遵守用戶 評(píng)論公約

    類似文章 更多