FindBugs静态代码分析工具

2024-05-10 21:08

本文主要是介绍FindBugs静态代码分析工具,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一、介绍

Findbugs,它是一个静态分析工具,它检查类或者jar文件,将字节码和一组缺陷模式进行对比以发现可能的问题。有了静态分析工具,就可以在不实际运行程序的情况下对软件进行分析。不是通过分析类文件的形式或结构来确定程序的意图,而是通常使用Visitor模式来鉴别代码是否符合一些固定的规范。Findbugs可作为一款插件用在Eclipse或 IntelliJ IDEA环境的编译器上。下面介绍一下在Android Studio中如何使用FindBugs

二、安装

2.1、在线安装:

首先打开Android studio的设置中的插件,输入findbugs,如下图所示,点击Browse查找

 

结果如下图所示,不出意外的话第一个选择安装就没问题了,祝各位安装顺利。

 

安装完毕之后重启Android studio,然后你就能看到一个红色小鸟图标,证明安装成功了,接下来就能进行使用了。

2.2、本地安装

下载官网:http://andrepdo.github.io/findbugs-idea/

 

下载完毕后在Android studio中选择本地安装即可

 

 

三、通过面板使用

FindBugs支持对包级别、项目级别、模块级别、单个文件级别,以及自定义范围的Bug分析。使用方法很简单,选择你需要分析的文件,右键,选择findbugs,然后选择需要分析的文件或者资源或者项目

 

 

 

分析完毕,此时就可以对分析结果进行查看,并有针对性的去解决这些可能存在的问题

 

利用findbugs可以找到潜在的很多问题,避免上线后才发现这些低级的问题

最后可以为这些bug定义等级,发布到控制台,然后逐一解决.

四、通过集成在gradle使用

建议在每个project的module下的build.gradle中进行修改

4.1、添加插件

apply plugin: 'com.android.application'
//下面是添加的
apply plugin: 'findbugs'

4.2、添加 task :

task findbugs(type: FindBugs,dependsOn:'assembleDebug') {ignoreFailures= trueeffort= "default"reportLevel= "high"println( "$project.buildDir")classes = files("$project.buildDir/intermediates/classes")source= fileTree("src/main/java/")classpath= files()reports{xml.enabled=falsehtml.enabled=truexml {destination "$project.buildDir/findbugs.xml"}html{destination "$project.buildDir/findbugs.html"}}
}

定义一个task任务,这个任务的类型是FindBugs,依赖assembleDebug先生成.classe文件。

  • ignoreFailures:有警告错误的时候也是允许构建。
  • reportLevel:报告的级别,Low,Medium,High一般来说我们首先关注的是高级别的报告,再关注低一级别的报告。
  • classes和source分别是对应的.classe文件夹地址,和源代码文件地址。
  • repoets指定报告类型,有两种方式xml和html,只允许一种输出格式。

4.3、运行方式

在右侧的Gradle的对于的Module可以在Tasks中找到对应的findBugs任务,点击即可运行。也可以在控制台输入gradle findbugs或./gradlew findbugs,执行完成会看到report 生成的路径信息

FindBugs rule violations were found. See the report at: file:///Users/.../app/build/reports/findbugs/findbugs.html

4.4、报告

我们会得到对应的一个类似与这样的报告:

 

四、bug种类

以下是搜罗的一些关于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方法,如果是国际的字符串,可能会不恰当的转换。

五、扩展

官方文档

https://docs.gradle.org/current/dsl/org.gradle.api.plugins.quality.FindBugs.html

 

这篇关于FindBugs静态代码分析工具的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/977555

相关文章

基于 HTML5 Canvas 实现图片旋转与下载功能(完整代码展示)

《基于HTML5Canvas实现图片旋转与下载功能(完整代码展示)》本文将深入剖析一段基于HTML5Canvas的代码,该代码实现了图片的旋转(90度和180度)以及旋转后图片的下载... 目录一、引言二、html 结构分析三、css 样式分析四、JavaScript 功能实现一、引言在 Web 开发中,

关于MyISAM和InnoDB对比分析

《关于MyISAM和InnoDB对比分析》:本文主要介绍关于MyISAM和InnoDB对比分析,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录开篇:从交通规则看存储引擎选择理解存储引擎的基本概念技术原理对比1. 事务支持:ACID的守护者2. 锁机制:并发控制的艺

基于Python开发Windows屏幕控制工具

《基于Python开发Windows屏幕控制工具》在数字化办公时代,屏幕管理已成为提升工作效率和保护眼睛健康的重要环节,本文将分享一个基于Python和PySide6开发的Windows屏幕控制工具,... 目录概述功能亮点界面展示实现步骤详解1. 环境准备2. 亮度控制模块3. 息屏功能实现4. 息屏时间

Python如何去除图片干扰代码示例

《Python如何去除图片干扰代码示例》图片降噪是一个广泛应用于图像处理的技术,可以提高图像质量和相关应用的效果,:本文主要介绍Python如何去除图片干扰的相关资料,文中通过代码介绍的非常详细,... 目录一、噪声去除1. 高斯噪声(像素值正态分布扰动)2. 椒盐噪声(随机黑白像素点)3. 复杂噪声(如伪

Java Spring ApplicationEvent 代码示例解析

《JavaSpringApplicationEvent代码示例解析》本文解析了Spring事件机制,涵盖核心概念(发布-订阅/观察者模式)、代码实现(事件定义、发布、监听)及高级应用(异步处理、... 目录一、Spring 事件机制核心概念1. 事件驱动架构模型2. 核心组件二、代码示例解析1. 事件定义

SQLite3命令行工具最佳实践指南

《SQLite3命令行工具最佳实践指南》SQLite3是轻量级嵌入式数据库,无需服务器支持,具备ACID事务与跨平台特性,适用于小型项目和学习,sqlite3.exe作为命令行工具,支持SQL执行、数... 目录1. SQLite3简介和特点2. sqlite3.exe使用概述2.1 sqlite3.exe

Python实例题之pygame开发打飞机游戏实例代码

《Python实例题之pygame开发打飞机游戏实例代码》对于python的学习者,能够写出一个飞机大战的程序代码,是不是感觉到非常的开心,:本文主要介绍Python实例题之pygame开发打飞机... 目录题目pygame-aircraft-game使用 Pygame 开发的打飞机游戏脚本代码解释初始化部

基于Python实现一个Windows Tree命令工具

《基于Python实现一个WindowsTree命令工具》今天想要在Windows平台的CMD命令终端窗口中使用像Linux下的tree命令,打印一下目录结构层级树,然而还真有tree命令,但是发现... 目录引言实现代码使用说明可用选项示例用法功能特点添加到环境变量方法一:创建批处理文件并添加到PATH1

使用jenv工具管理多个JDK版本的方法步骤

《使用jenv工具管理多个JDK版本的方法步骤》jenv是一个开源的Java环境管理工具,旨在帮助开发者在同一台机器上轻松管理和切换多个Java版本,:本文主要介绍使用jenv工具管理多个JD... 目录一、jenv到底是干啥的?二、jenv的核心功能(一)管理多个Java版本(二)支持插件扩展(三)环境隔

Java中Map.Entry()含义及方法使用代码

《Java中Map.Entry()含义及方法使用代码》:本文主要介绍Java中Map.Entry()含义及方法使用的相关资料,Map.Entry是Java中Map的静态内部接口,用于表示键值对,其... 目录前言 Map.Entry作用核心方法常见使用场景1. 遍历 Map 的所有键值对2. 直接修改 Ma