FindBugs简单介绍即使用
2020-08-12 本文已影响0人
AnyunBo
FindBug
是一款开源的 Java
代码检查工具,遵循GNU
公共许可协议。它可以检查 Java
类或者 JAR
文件,运行的是 Java
字节码而不是源码,
检查原理是:将字节码与一组缺陷模式进行对比来发现可能存在的问题。这些问题包括空指针引用、无限递归循环、死锁等。
检查的 bug 类型包括:
findBugs_demo.png- Malicious code vulnerability:恶意代码
- Dodgy code:不符合规范的代码
- Internationalization:国际化相关问题,如错误的字符串转换;
- Bad practice:坏的实践:常见代码错误,序列化错误,用于静态代码检查时进行缺陷模式匹配;
- Multithreaded correctness:多线程的正确性:如多线程编程时常见的同步,线程调度问题;
- Performance:运行时性能问题,如由变量定义,方法调用导致的代码低效问题。
- Correctness:可能导致错误的代码,如空指针引用等;
- Experimental:可能受到的恶意攻击,如访问权限修饰符的定义等;
- Security:安全性
在线安装FindBugs:
首先打开 Android Studio
或IDEA
的设置中的插件,输入 FindBugs
,如下图所示,点击 Browse
查找,选择 FindBugs-IDEA
然后单击右侧的 Install
按钮进行安装(因为这里已经安装了 FindBugs
所以右侧没有 Install
按钮);安装完后重启
findBugs基本使用
FindBugs
的界面窗口,如下图:
图上标注的含义:
检查范围
- 标注1:检查当前类(只有在选中类的时候可点击)。
- 标注2:检查当前包。
- 标注3:检查当前模块。
- 标注4:检查当前项目。
- 标注5:自定义设置检查范围。
结果查看方式
- 标注6:按照bug类型查看。
- 标注7:按照类查看。
- 标注8:按照包结构查看。
- 标注9:按照bug等级查看。
错误详情说明
先看下图
错误详情说明
图中编号标注的含义
- 标注1 错误详情标题描述
- 标注2 所在的类 、行数
- 标注3 错误类型
- 标注4 错误所在的方法
- 标注5 错误笔记,可以看到是那个地方的错误
- 标注6 错误所在的区域,明确指出是那个地方出的错
- 标注7
priority
代表了严重等级,红色最严重 - 标注8 对错误的描述,及可能出现的问题
- 标注9 错误在代码中的位置
- 标注10 错误在代码中的位置
在标注9
和标注10
处修改会互相同步
FindBugs的Bug种类说明
Bad practice 坏的实践
一些不好的实践,下面列举几个:
- HE: 类定义了
equals()
,却没有hashCode()
;或类定义了equals()
,却使用Object.hashCode()
;或类定义了hashCode()
,却没有equals()
;或类定义了hashCode(),却使用Object.equals()
;类继承了equals()
,却使用Object.hashCode()
。 - SQL:
Statement
的execute
方法调用了非常量的字符串;或Prepared Statement
是由一个非常量的字符串产生。 - DE: 方法终止或不处理异常,一般情况下,异常应该被处理或报告,或被方法抛出。
Malicious code vulnerability 可能受到的恶意攻击
如果代码公开,可能受到恶意攻击的代码,下面列举几个:
- FI: 一个类的
finalize()
应该是protected
,而不是public
的。 - MS:属性是可变的数组;属性是可变的
Hashtable
;属性应该是package protected
的。
Correctness 一般的正确性问题
可能导致错误的代码,下面列举几个:
- NP: 空指针被引用;在方法的异常路径里,空指针被引用;方法没有检查参数是否
null
;null
值产生并被引用;null
值产生并在方法的异常路径被引用;传给方法一个声明为@NonNull
的null
参数;方法的返回值声明为@NonNull
实际是null
。 - Nm: 类定义了
hashcode()
方法,但实际上并未覆盖父类Object
的hashCode()
;类定义了tostring()
方法,但实际上并未覆盖父类Object
的toString()
;很明显的方法和构造器混淆;方法名容易混淆。 - SQL:方法尝试访问一个
Prepared Statement
的0
索引;方法尝试访问一个ResultSet
的0
索引。 - UwF:所有的
write
都把属性置成null
,这样所有的读取都是null
,这样这个属性是否有必要存在;或属性从没有被write
。
Dodgy 危险的
具有潜在危险的代码,可能运行期产生错误,下面列举几个:
- CI: 类声明为
final
但声明了protected
的属性。 - DLS:对一个本地变量赋值,但却没有读取该本地变量;本地变量赋值成
null
,却没有读取该本地变量。 - ICAST: 整型数字相乘结果转化为长整型数字,应该将整型先转化为长整型数字再相乘。
- INT:没必要的整型数字比较,如
X <= Integer.MAX_VALUE
。 - NP: 对
readline()
的直接引用,而没有判断是否null
;对方法调用的直接引用,而方法可能返回null
。 - REC:直接捕获Exception,而实际上可能是
RuntimeException
。 - ST: 从实例方法里直接修改类变量,即
static
属性。
Performance 性能问题
可能导致性能不佳的代码,下面列举几个:
- DM:方法调用了低效的
Boolean
的构造器,而应该用Boolean.valueOf(…)
;用类似Integer.toString(1)
代替new Integer(1).toString()
;方法调用了低效的float
的构造器,应该用静态的valueOf
方法。 - SIC:如果一个内部类想在更广泛的地方被引用,它应该声明为
static
。 - SS: 如果一个实例属性不被读取,考虑声明为
static
。 - UrF:如果一个属性从没有被
read
,考虑从类中去掉。 - UuF:如果一个属性从没有被使用,考虑从类中去掉。
Multithreaded correctness 多线程的正确性
多线程编程时,可能导致错误的代码,下面列举几个:
- ESync:空的同步块,很难被正确使用。
- MWN:错误使用
notify()
,可能导致IllegalMonitorStateException
异常;或错误的使用wait()
。 - No: 使用
notify()
而不是notifyAll()
,只是唤醒一个线程而不是所有等待的线程。 - SC: 构造器调用了
Thread.start()
,当该类被继承可能会导致错误。
Internationalization 国际化
- 当对字符串使用
upper
或lowercase
方法,如果是国际的字符串,可能会不恰当的转换。