FindBugs使用手册教案资料

文件编号：
配置项编号：
FindBugs使用手册
文档版本号
V 1.0
农信银资金清算中心创新研发部
文档修订记录
目录
1、FindBugs简介 (3)
2、FindBugs的检查规则 (4)
2.1Correctness（正确性） (4)
2.2 Bad practice（不良实践） (5)
2.3 Performance（性能） (5)
2.4Multithreaded correctness（多线程正确性） (6)
2.5 Dodgy（不可靠） (7)
3、FindBugs使用 (8)
3.1安装FindBugs (8)
3.2配置FindBugs (8)
3.3使用FindBugs (8)
1、FindBugs简介
FindBugs是用于java代码检查的一种静态分析工具，它检查类或者JAR 文件，将字节
码与一组缺陷模式进行对比以发现可能的问题。

有了静态分析工具，就可以在不实际运行程序的情况对软件进行分析。

FindBugs专注于找出潜在程序错误，而不是编码风格问题，目的在于提高程序的健壮性。

2、FindBugs的检查规则
FindBugs提出了超过200种规则，这些规则可主要分为如下类别：
2.1Correctness（正确性）
这些问题涉及到可能在某些方面不正确的代码。

如：代码有无限递归，或者读取为写入的字段，这类问题几乎无疑是程序的错误。

例1：使用未初始化的类成员，可能导致NullPointException
代码：
FindBugs检测结果：
例2：不使用方法的返回值
代码：
FindBugs检测结果：
2.2Bad practice（不良实践）
这类问题明确违反建议的编程标准。

如：删除异常，或未关闭文件，或未数据库连接资源等。

例3：未关闭打开的文件输出流资源
代码：
FindBugs检测结果：
2.3Performance（性能）
这类规则的目的在于检测潜在的性能问题。

如：代码创建了不需要的对象，或者在循环中使用字符串连接而不是使用StringBuffer。

例4：使用new String(String)构造函数创建字符串
代码：
String str = new String("string");
FindBugs检测结果：
2.4Multithreaded correctness（多线程正确性）
这是一类特殊的问题，涉及到同步和多线程代码有关的问题。

例5：在构造方法中start线程
代码：
FindBugs检测结果：
例6：同一成员变量的getter和setter方法的同步性不统一
代码：
FindBugs检测结果：
2.5Dodgy（不可靠）
这类问题涉及奇怪的代码。

如：未使用的本地变量或未检查的类型转换（cast）。

例7：定义了未被使用的变量
代码：
3、FindBugs使用
3.1安装FindBugs
可以以多种方式运行FindBugs——从GUI、从命令行、使用Ant、作为Eclipse 插件程序和使用Maven。

这里重点介绍FindBugs作为Eclipse 插件程序的使用方法。

从internet上下载FindBugs的eclipse plugin 压缩包；
将plugin解压至$ECLIPSE_ROOT$/plugins路径下，重启eclipse
3.2配置FindBugs
进入如下目录：Project Properties，如下图所示：
说明：
选中‘Enable Project specific settings’为特定的项目详细配置FindBugs。

选中‘Run automatically’，在每次对类进行修改后，FindBugs将自动检查问题。

‘Detector details’项会给出被选中Detector的相信说明，包括该Detector的检测规则，所属模式等信息。

‘Reporter Configuration’定义了报告错误的级别，默认情况分别为‘Medium’，同时定义了错误类别，默认情况下为前面所列的几种主要类别。

3.3使用FindBugs
点击‘OK’，FindBugs开始运行：
可以通过‘Problems（问题）’视图查看FindBugs的检查结果，在该视图中，FindBugs 检测出来的问题和其他错误和警告一起列出。

要查看某个FindBugs检查结果的详细信息，使用如下方法：在源代码中点击“红色小虫”标记，将在‘Properties（属性）’视图中显示出该问题的详细信息。

如下图所示：
使用Filter选择地禁用规则
可以有不同的方式定义过滤器：
匹配一个类的过滤器。

可以用这些过滤器忽略在特定类中发现的所有问题。

匹配一个类中特定缺陷代码（bugcode）的过滤器。

可以用这些过滤器忽略在特定类中
发现的一些缺陷。

匹配一组缺陷的过滤器。

可以用这些过滤器忽略所分析的所有类中的一组缺陷。

匹配所分析的一个类中的某些方法的过滤器。

可以用这些过滤器忽略在一个类中的一组方法中发现的所有缺陷。

匹配在所分析的一个类中的方法中发现的某些缺陷的过滤器。

可以用这些过滤器忽略在一组方法中发现的特定缺陷。