java代码检测工具

① 谁知道检查java代码规范的用什么工具比较好

Checkstyle
这个可以自定义规范，如变量的命名规范，方法的命名的规范，一行代码的字数，一个方法的行数，是否已经加注释等等

② 做静态代码分析都是用那个软件的

本文首先介绍了静态代码分析的基本概念及主要技术，随后分别介绍了现有 4 种主流 Java 静态代码分析工具 (Checkstyle，FindBugs，PMD，Jtest)，最后从功能、特性等方面对它们进行分析和比较，希望能够帮助 Java 软件开发人员了解静态代码分析工具，并选择合适的工具应用到软件开发中。

引言

在 Java 软件开发过程中，开发团队往往要花费大量的时间和精力发现并修改代码缺陷。Java 静态代码分析（static code analysis）工具能够在代码构建过程中帮助开发人员快速、有效的定位代码缺陷并及时纠正这些问题，从而极大地提高软件可靠性并节省软件开发和测试成 本。目前市场上的 Java 静态代码分析工具种类繁多且各有千秋，因此本文将分别介绍现有 4 种主流 Java 静态代码分析工具 (Checkstyle，FindBugs，PMD，Jtest)，并从功能、特性等方面对它们进行分析和比较，希望能够帮助 Java 软件开发人员了解静态代码分析工具，并选择合适的工具应用到软件开发中。

静态代码分析工具简介

什么是静态代码分析

静态代码分析是指无需运行被测代码，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性，找出代码隐藏的错误和缺陷，如参数不匹配，有歧义的嵌套语句，错误的递归，非法计算，可能出现的空指针引用等等。

在软件开发过程中，静态代码分析往往先于动态测试之前进行，同时也可以作为制定动态测试用例的参考。统计证明，在整个软件开发生命周期中，30% 至 70% 的代码逻辑设计和编码缺陷是可以通过静态代码分析来发现和修复的。

但是，由于静态代码分析往往要求大量的时间消耗和相关知识的积累，因此对于软件开发团队来说，使用静态代码分析工具自动化执行代码检查和分析，能够极大地提高软件可靠性并节省软件开发和测试成本。

静态代码分析工具的优势

1. 帮助程序开发人员自动执行静态代码分析，快速定位代码隐藏错误和缺陷。

2. 帮助代码设计人员更专注于分析和解决代码设计缺陷。

3. 显着减少在代码逐行检查上花费的时间，提高软件可靠性并节省软件开发和测试成本。

Java 静态代码分析理论基础和主要技术

• 缺陷模式匹配：缺陷模式匹配事先从代码分析经验中收集足够多的共性缺陷模式，将待分析代码与已有的共性缺陷模式进行模式匹配，从而完成软件的安全分析。这种方式的优点是简单方便，但是要求内置足够多缺陷模式，且容易产生误报。

• 类型推断：类型推断技术是指通过对代码中运算对象类型进行推理，从而保证代码中每条语句都针对正确的类型执行。这种技术首先将预定义一套类型机制，包括类 型等价、类型包含等推理规则，而后基于这一规则进行推理计算。类型推断可以检查代码中的类型错误，简单，高效，适合代码缺陷的快速检测。

• 模型检查：模型检验建立于有限状态自动机的概念基础之上，这一理论将被分析代码抽象为一个自动机系统，并且假设该系统是有限状态的、或者是可以通过抽象归 结为有限状态。模型检验过程中，首先将被分析代码中的每条语句产生的影响抽象为一个有限状态自动机的一个状态，而后通过分析有限状态机从而达到代码分析的 目的。模型检验主要适合检验程序并发等时序特性，但是对于数据值域数据类型等方面作用较弱。

• 数据流分析：数据流分析也是一种软件验证技术，这种技术通过收集代码中引用到的变量信息，从而分析变量在程序中的赋值、引用以及传递等情况。对数据流进行 分析可以确定变量的定义以及在代码中被引用的情况，同时还能够检查代码数据流异常，如引用在前赋值在后、只赋值无引用等。数据流分析主要适合检验程序中的 数据域特性。

现有主流 Java 静态分析工具

Checkstyle

Checkstyle 是 SourceForge 的开源项目，通过检查对代码编码格式，命名约定，Javadoc，类设计等方面进行代码规范和风格的检查，从而有效约束开发人员更好地遵循代码编写规范。

Checkstyle 提供了支持大多数常见 IDE 的插件，文本主要使用 Eclipse 中的 Checkstyle 插件。如下图 1 所示，Checkstyle 对代码进行编码风格检查，并将检查结果显示在 Problems 视图中。图中，代码编辑器中每个放大镜图标表示一个 Checkstyle 找到的代码缺陷。开发人员可通过在 Problems 视图中查看错误或警告详细信息。



• 图 1. 使用 Checkstyle 进行编码风格检查




此外，Checkstyle 支持用户根据需求自定义代码检查规范，在下图 2 中的配置面板中，用户可以在已有检查规范如命名约定，Javadoc，块，类设计等方面的基础上添加或删除自定义检查规范。



• 图 2. 使用 Checkstyle 添加自定义代码检查规范




FindBugs

FindBugs 是由马里兰大学提供的一款开源 Java 静态代码分析工具。FindBugs 通过检查类文件或 JAR 文件，将字节码与一组缺陷模式进行对比从而发现代码缺陷，完成静态代码分析。FindBugs 既提供可视化 UI 界面，同时也可以作为 Eclipse 插件使用。文本将主要使用将 FindBugs 作为 Eclipse 插件。在安装成功后会在 eclipse 中增加 FindBugs perspective，用户可以对指定 Java 类或 JAR 文件运行 FindBugs，此时 FindBugs 会遍历指定文件，进行静态代码分析，并将代码分析结果显示在 FindBugs perspective 的 bugs explorer 中，如下图 3 所示：



• 图 3. 使用 FindBugs 进行静态代码分析




图中 Bug Explorer 中的灰色图标处为 Bug 类型，每种分类下红色图标表示 bug 较为严重，黄色的图标表示 bug 为警告程度。Propreties 列出了 bug 的描述信息及修改方案。

此外，FindBugs 还为用户提供定制 Bug Pattern 的功能。用户可以根据需求自定义 FindBugs 的代码检查条件，如下图 4 所示：



• 图 4. 使用 FindBugs 添加自定义代码检查规范




PMD

PMD 是由 DARPA 在 SourceForge 上发布的开源 Java 代码静态分析工具。PMD 通过其内置的编码规则对 Java 代码进行静态检查，主要包括对潜在的 bug，未使用的代码，重复的代码，循环体创建新对象等问题的检验。PMD 提供了和多种 Java IDE 的集成，例如 Eclipse，IDEA，NetBean 等。本文主要使用 PMD 以插件方式与 Eclipse 集成。如下图 5 所示：在 Violations Overview 视图中，按照代码缺陷严重性集中显示了 PMD 静态代码分析的结果。



• 图 5. 使用 PMD 进行静态代码分析




PMD 同样也支持开发人员对代码检查规范进行自定义配置。开发人员可以在下图 6 中的面板中添加、删除、导入、导出代码检查规范。



• 图 6. 使用 PMD 添加自定义代码检查规范




Jtest

Jtest 是 Parasoft 公司推出的一款针对 Java 语言的自动化代码优化和测试工具，Jtest 的静态代码分析功能能够按照其内置的超过 800 条的 Java 编码规范自动检查并纠正这些隐蔽且难以修复的编码错误。同时，还支持用户自定义编码规则，帮助用户预防一些特殊用法的错误。Jtest 提供了基于 Eclipse 的插件安装。Jtest 支持开发人员对 Java 代码进行编码规范检查，并在 Jtask 窗口中集中显示检查结果，如下图 7 所示：



• 图 7. 使用 Jtest 进行静态代码分析




同时，Jtest 还提供了对用户定制代码检查配置甚至自定义编码规则的支持，这一功能使得开发人员可以基于不同场景定制所需要的编码规范，如图 8 所示：



• 图 8. 使用 Jtest 添加自定义代码检查规范



Java 静态分析工具对比

本章节将从以下几个方面对上述 Java 静态分析工具进行比较：

应用技术及分析对象

下表 1 列出了不同工具的分析对象及应用技术对比：



• 表 1. 不同工具的分析对象及应用技术对比



Java 静态分析工具

分析对象

应用技术

Checkstyle Java 源文件 缺陷模式匹配

FindBugs 字节码 缺陷模式匹配；数据流分析

PMD Java 源代码 缺陷模式匹配

Jtest Java 源代码 缺陷模式匹配；数据流分析




内置编程规范

Checkstyle：

• Javadoc 注释：检查类及方法的 Javadoc 注释

• 命名约定：检查命名是否符合命名规范

• 标题：检查文件是否以某些行开头

• Import 语句：检查 Import 语句是否符合定义规范

• 代码块大小，即检查类、方法等代码块的行数

• 空白：检查空白符，如 tab，回车符等

• 修饰符：修饰符号的检查，如修饰符的定义顺序

• 块：检查是否有空块或无效块

• 代码问题：检查重复代码，条件判断，魔数等问题

• 类设计：检查类的定义是否符合规范，如构造函数的定义等问题

FindBugs：

• Bad practice 坏的实践：常见代码错误，用于静态代码检查时进行缺陷模式匹配

• Correctness 可能导致错误的代码，如空指针引用等

• 国际化相关问题：如错误的字符串转换

• 可能受到的恶意攻击，如访问权限修饰符的定义等

• 多线程的正确性：如多线程编程时常见的同步，线程调度问题。

• 运行时性能问题：如由变量定义，方法调用导致的代码低效问题。

PMD：

• 可能的 Bugs：检查潜在代码错误，如空 try/catch/finally/switch 语句

• 未使用代码（Dead code）：检查未使用的变量，参数，方法

• 复杂的表达式：检查不必要的 if 语句，可被 while 替代的 for 循环

• 重复的代码：检查重复的代码

• 循环体创建新对象：检查在循环体内实例化新对象

• 资源关闭：检查 Connect，Result，Statement 等资源使用之后是否被关闭掉

Jtest

• 可能的错误：如内存破坏、内存泄露、指针错误、库错误、逻辑错误和算法错误等

• 未使用代码：检查未使用的变量，参数，方法

• 初始化错误：内存分配错误、变量初始化错误、变量定义冲突

• 命名约定：检查命名是否符合命名规范

• Javadoc 注释：检查类及方法的 Javadoc 注释

• 线程和同步：检验多线程编程时常见的同步，线程调度问题

• 国际化问题：

• 垃圾回收：检查变量及 JDBC 资源是否存在内存泄露隐患

错误检查能力

为比较上述 Java 静态分析工具的代码缺陷检测能力，本文将使用一段示例代码进行试验，示例代码中将涵盖我们开发中的几类常见错误，如引用操作、对象操作、表达式复杂化、数 组使用、未使用变量或代码段、资源回收、方法调用及代码设计几个方面。最后本文将分别记录在默认检查规范设置下，不同工具对该示例代码的分析结果。以下为 示例代码 Test.java。其中，代码的注释部分列举了代码中可能存在的缺陷。



• 清单 1. Test.java 示例代码
• package Test;import java.io.*;public class Test {/** * Write the bytes from input stream to output stream. * The input stream and output stream are not closed. * @param is * @param os * @throws IOException */public boolean (InputStream is, OutputStream os)throws IOException {intcount = 0;//缺少空指针判断byte[] buffer =new byte[1024];while((count = is.read(buffer)) >= 0) {os.write(buffer,0, count);}//未关闭I/O流returntrue;}/** * * @param a * @param b * @param ending * @return the elements from a to b, and stop when meet element ending */publicvoid (String[] a, String[] b, String ending){intindex;String temp =null;//空指针错误System.out.println(temp.length());//未使用变量intlength=a.length;for(index=0; index&a.length; index++){//多余的if语句if(true){//对象比较 应使用equalsif(temp==ending){break;}//缺少 数组下标越界检查b[index]=temp;}}}/** * * @param file * @return file contents as striwww.fltbj.cn#ll if file does not exist */public void readFile(File file) {InputStream is =null;OutputStream os =null;try{is =new BufferedInputStream(newFileInputStream(file));os =new ByteArrayOutputStream();//未使用方法返回值(is,os);is.close();os.close();}catch (IOException e) {//可能造成I/O流未关闭e.printStackTrace();}finally{//空的try/catch/finally块}}}







• 通过以上测试代码，我们对已有 Java 静态代码分析工具的检验结果做了如下比较，如下表 2 所示。




表 2. Java 静态代码分析工具对比

代码缺陷分类

示例

Checkstyle

FindBugs

PMD

Jtest

引用操作 空指针引用 √ √ √ √

对象操作 对象比较（使用 == 而不是 equals） √ √ √

表达式复杂化 多余的 if 语句 √

数组使用 数组下标越界 √

未使用变量或代码段 未使用变量 √ √ √

资源回收 I/O 未关闭 √ √

方法调用 未使用方法返回值 √

代码设计 空的 try/catch/finally 块 √




由表中可以看出几种工具对于代码检查各有侧重。其中，Checkstyle 更偏重于代码编写格式，及是否符合编码规范的检验，对代码 bug 的发现功能较弱；而 FindBugs，PMD，Jtest 着重于发现代码缺陷。在对代码缺陷检查中，这三种工具在针对的代码缺陷类别也各有不同，且类别之间有重叠。

总结

本文分别从功能、特性和内置编程规范等方面详细介绍了包括 Checkstyle，FindBugs，PMD，Jtest 在内的四种主流 Java 静态代码分析工具，并通过一段 Java 代码示例对这四种工具的代码分析能力进行比较。由于这四种工具内置编程规范各有不同，因此它们对不同种类的代码问题的发现能力也有所不同。其中 Checkstyle 更加偏重于代码编写格式检查，而 FindBugs，PMD，Jtest 着重于发现代码缺陷。最后，希望本文能够帮助 Java 软件开发和测试人员进一步了解以上四种主流 Java 静态分析工具，并帮助他们根据需求选择合适的工具。

③ java 代码覆盖率检查工具 哪种比较好

clover
emma

我常用这两个.

④ java程序代码相似度检测软件

Sonar
在看一篇资料时http://www.darkmi.com/man/SpringSide3/，注意到的
Sonar
是一个集成了CheckStyle,PMD,Findbugs的代码校验规则
,重复代码发现，代码测试覆盖率，
代码注释率，及所有的检测率变化追踪的完美代码质量检查工具。
我也不会用这个

⑤ java中，代码检查工具check-style检查出来的错误很多，请教各位，有什么快速修改的方法不

某些错误产生并不一定代表程序无法编译通过，而是不符合某个规范或用了比较旧版本的jdk所导致的，check-style应该可以设置错误类型的，比如没有构造方法这样的错误就可以忽略的，别急，慢慢来，一般调试别人的程序需要3-4周时间，熟练了就好。

⑥ Java开发工具主要有哪些

一 看书已经是一种落后的学习方式

我上大学的时候学习Java，也是通过看书的方式学习的，当时学的很费劲，只有死板的文字，整了一本厚厚的书，啃了将近一年，也是迷迷瞪瞪的，有长进，但不是太大。在书里涉及到一些实际操作的步骤的时候，通过软件表现，中间会遇到很多书里没说的问题，让人只能纠结。

二 与其看死板的书，不如看网上直播Java课程

现在我是一件公司的Java技术总监，技术实力那是一级棒的。在大学里，看了两三年的书，没什么长进，差点放弃了Java，但是放弃的话总觉的太可惜了，只能回锅在学习一些，但是当时面临的问题是什么呢，白天要工作，要创造利润生活啊，又不好意思跟家里要钱，所以导致我没时间去提升自己的技术实力，只能每天混日子。后来我一个朋友让我在网上看Java直播课程，每天晚上都是高手分享的，可以现场互动，我抱着试试看看的态度，在网上听了几天，都是晚上讲课，也不耽误我白天工作，让我欣喜的是，当在直播中看着老师的实战操作以及老师透彻的讲解，让我有一直茅塞顿开的感觉，很多困扰我很多年的问题，都解开了，原来看直播的学习效率，直接秒杀看书啊。当然好东西，要给大家一块分享，如果你想提升自己的Java实力，晚上有时间也可以来听听的，在这个群里，开头的前面几位是：557,然后在中间的一组是：101,位于最后位置的是：916，按照前后的顺序组合起来就ok了。

三 Java程序员新手老手都离不开八大开发工具

现在有很多库、实用工具和程序任Java开发人员选择。每个工具都有其优点，但其中有一些因它的知名度、多功能和有效力从众多选项中脱颖而出。

以下这8个工具，从代码构建到错误挤压，覆盖Java开发的全域。学习这些工具可以帮助你改善代码质量，成为一个更高效的Java开发人员。

1.Eclipse

尽管IntelliJ IDEA、NetBeans和一些其他的IDE正在日益普及，但是有调查表明，Eclipse仍然是几乎半数Java开发人员首选的开发环境。 Eclipse是IDE领域的瑞士军刀，有着大量定制的接口和无数的插件。它无处不在，后面本文将推荐的其他所有工具都提供Eclipse插件。

Eclipse的工作流程可分为三个方面：工作台，工作空间和视角。工作台作为到IDE的出发点。工作空间将项目、文件和配置设置组合在一个单独的 目录下。视角定义工具、视图和有效设置。虽然新手开发人员可能会觉得相比Netbeans和IntelliJ IDEA，Eclipse使用起来更难，但Eclipse的灵活，使其成为企业开发的首选IDE。

Luna，Eclipse的最新版本，支持Java 8、分屏编辑、新的黑色主题，以及一个功能齐全的命令行终端。

2.Gradle

Gradle是一个自动化项目工具，建立在Apache Maven和Apache Ant的功能上。虽然Gradle并不是非常流行的构建工具（超流行的是Maven，64％的Java开发人员会选择它），但它的普及速度很快。它也可作为默认的Android构建工具。

Gradle引以为傲的是它的简单。Gradle使用Groovy编程语言，与Maven和Ant使用XML语法截然相反。一个基本的Gradle构建文件由一行简单的代码组成：

3.Javadoc

Javadoc是Oracle提供的文档生成器。它可以将特殊格式的注释解析为HTML文档。以下截图就是Javadoc生成的Java SE 8 API规范：

Javadoc注释使用开放标签、关闭标签，以及一个或多个描述性标签的格式。开放式标签类似于标准Java多行注释标记，使用两个星号的除外。Javadoc也解析普通的HTML标签。

Javadoc自动格式化标签和关键字，除非另有规定。Javadoc广泛使用超链接，允许你参考和链接到代码的不同区域。许多IDE——包括 Eclipse——可以自动添加Javadoc注释模块到变量、类和方法中。支持Maven、Gradle和Ant的插件在编译代码的同时也可以构建 Javadoc HTML。

4.JUnit

JUnit是用于编写和运行单元测试的开源框架。一个基本的JUnit测试包括测试类、测试方法、以及执行测试的功能。 JUnit使用标注来确定测试如何构造和运行。例如，如果你的程序有一个类叫做MathClass，具有乘法和除法的方法，你可以创建JUnit测试来检 查不符合预期的值。输入数字2和5到乘法方法，你希望得到的结果为10。当输入0作为除法方法的第二个参数时，你会期望给出一个数字计算异常的警告因为除 数不能为0：

@Test标注规定，MathClass方法是一个测试用例。 在JUnit提供额外的标注，比如@Before，这样你就可以在测试运行之前设置环境。 JUnit还可以设置规则用于定义测试方法的行为。例如，TemporaryFolder规则使得一旦测试完成，由测试创建的文件或文件夹就会被删除。

5.Cobertura

Cobertura可用于分析Java代码的测试覆盖率。Cobertura根据没有被测试覆盖的代码生成基于HTML的报告。

Cobertura提供可用于插装、检查和测试代码的工具。通过监控可测试的代码，Cobertura允许你使用你选择的测试框架，甚至不需要测试框架就可以运行程序。

Cobertura根据行、分支和程序包三个方面给出代码覆盖报告。每个类别都有一个可自定义的阈值，如果覆盖面低于阈值，就会触发警告。Cobertura还集成了Maven和Gradle的自动检测功能。

6.FindBugs

FindBugs是一个匹配编译代码模式，而非使用bug数据库的工具。当提供源代码时，FindBugs还可高亮显示检测出bug的代码行。

在它的3.0.1版本中，FindBugs继续保持着数以百计的bug描述。根据bug的严重程度，FindBugs将bug分为四个水平：相关 的，令人困扰的，可怕的，以及最可怕的。除了图形用户界面，FindBugs还提供一个命令行界面，Ant任务，以及Eclipse插件。

7.VisualVM

包含在JDK中的VisualVM是监控和审查Java应用程序性能的工具。 VisualVM检测并重视活跃的JVM实例来检索有关进程的诊断信息。

VisualVM可以很容易地实时诊断性能问题。它提供了全套的分析工具，包括JConsole、jstack、jmap、jinfo和jstat等。此外，你还可以对JVM做一个快照，这样以后在任何时都能审查。

8.Groovy

Groovy是一种编程语言，通过添加新的关键字，自动导入常用的类，以及可选类型变量声明，既简化又扩展了Java。

Groovy的核心优势之一是它的脚本功能。类可以被编译为Java字节码或使用Groovy Shell动态执行。Groovy的Java基础使得它相较于Jython和JRuby更容易为Java开发人员所接受

三优秀Java程序员，应该养成哪些习惯

当我们评价一个程序员是否优秀时，要从多个方面进行评估。 专业技能、专业知识、创造力、经验，这些都是重要的因素。当然，还有他们的工作态度、工作效率和工作质量。如果程序员的工作是没有效率的，那就意味着他们所投入的时间和精力是没有效果的。最近看到一篇博文中，他们总结了10个影响程序员工作效率的坏习惯。看完这篇文章后你会发现，里面所列举的坏习惯，总有一两个可以在自己的身上找得到。从中你也可以学习到那些优秀的程序员是如何提高工作效率的。

1.专注于一个工作而不是同时处理多个任务同一时间处理多个工作任务，我们对这种情况并不陌生。有时候是迫不得已，但有时候也是个人的习惯造成的。“同一时间处理多个任务”看起来不错，给人感觉你的工作出色，但实际上，由于要不断转换工作内容，它会影响了你的专注力和创造力。对于程序员来说，专注于某一个开发工作是很重要的。如果要同时处理几个任务，你不得不为此消耗精力，这样一来工作效率就会降低了。解决的方法是做好工作安排，把相似的工作放在一起，专心做好一个工作直到它完成了为止，再去做下一个工作。

2.建立一个有条理的工作系统程序员给很多人的感觉是有点神经质的，就是那种专注起来令人倾心，糊涂起来让人抓狂的那种。他们可以投入到开发环境中不眠不休，但有很多人也会在工作中出现各种马虎，健忘和凌乱的状况。工作没有条理可以直接影响工作效率。其实这个毛病是可以改掉的，从办公桌上物件的摆放，到建立工作计划，一步一步地作好安排，制定一个井井有条的工作系统可以有助提高工作效率。你可以在livecoding上看一下其他程序员的直播，不仅可以发现一些有趣的项目，还可以留意一下人家是如何把每一件事情都处理得有条不紊的。优秀的程序员也许在生活中会有各种丢三拉四的表现，但一旦投入到工作中时，他们会变得非常专注和注重条理。

⑦ 如何提高java代码质量检查工具

1. 写完代码后用代码给是工具format一下，让其格式符合规范，看起来自然舒服； 完美主义型的程序员请在敲代码的时候就按照规范的格式来，这样离开了format工具代码一样漂亮；
2. 消除代码中所有的warnning，警告信息毕竟不是在开玩笑，不能置之不理，一些可以确定不存在风险、且无法修复的warning，如在1.5及以后的JDK版本中使用不带泛型的老版集合接口时编译器给出的warning， 可使用@SuppressWarnings标注将其忽略；
3. 提交每一个change set之前，使用Findbug这个工具（有eclipse插件）检查一遍代码，把它提示的所有bug都修掉，这样可以消除大量程序隐患；
4. 编写充足的测试用例，如果你发现自己的代码不可测，即无法方便地编写test case，那一定是代码结构设计得有问题，重构之，直到可测试为止。
总结：在没有导师review和指导的情况下，完全可以通过上面四个方法自行提高代码质量和OO设计水平。而代码质量也在一定程度上反映了程序员对待职业的态度，你当自己是码农，按码农的标准去干活，那你永远是码农。你当自己是艺术家，按艺术的标准是coding，那么终有一天你会成为代码艺术家。