Java代码缺陷自动分析工具介绍

- targetjdk13，是否把目标定为jdk13，如不能使用assert。

- failuresPropertyName，在任务结束时，插入违反规则的号码

- encoding，读源文件时所采用的编码，如utf-8。

5.1.2 Text的使用

把bin目录下的pmd.bat修改为：

java -jar ..\lib\pmd-3.3.jar D:\temp\hpMTS_2.jar text rulesets/basic.xml,rulesets/braces.xml,rulesets/clone.xml,rulesets/codesize.xml,rulesets/controversial.xml,rulesets/coupling.xml,

rulesets/design.xml,rulesets/favorites.xml,rulesets/finalizers.xml,rulesets/unusedcode.xml,rulesets/sunsecure.xml,rulesets/strings.xml,rulesets/strictexception.xml,rulesets/scratchpad.xml,rulesets/optimizations.xml,rulesets/naming.xml,rulesets/my-rules.xml,rulesets/logging-java.xml,rulesets/logging-jakarta-commons.xml,rulesets/junit.xml,rulesets/javabeans.xml,rulesets/imports.xml

5.1 CheckStyle工具

CheckStyle目前最新版本是: checkstyle-4.0-beta6（下载网页）。

CheckStyle的运行环境是j2se1.3或以后版本，安装过程同样也是解压即可。

5.2.1 ant task的使用

（1） 复制checkstyle-4.0-beta6.jar到项目的classpath中。

（2） 修改build.xml文件：

<taskdef resource="checkstyletask.properties"

classpath="${weblib.dir}/checkstyle-all-3.3.jar"/>

<target name="checkstyle" depends="init">

<!-- 指明checkstyle的分析所需的规则文件 -->

<checkstyle config="checkstyle33.xml">

<!-- 要检查的文件 -->

<fileset dir="${src.code}" includes="**/*.java"/>

<!-- 指明输出格式和文件名 -->

<formatter type="xml" toFile="report.xml"/>

</checkstyle>

<!-- 将xml文件转换成html文件 -->