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

相关文章

性能分析之MySQL索引实战案例

文章目录 一、前言二、准备三、MySQL索引优化四、MySQL 索引知识回顾五、总结 一、前言 在上一讲性能工具之 JProfiler 简单登录案例分析实战中已经发现SQL没有建立索引问题,本文将一起从代码层去分析为什么没有建立索引? 开源ERP项目地址:https://gitee.com/jishenghua/JSH_ERP 二、准备 打开IDEA找到登录请求资源路径位置

活用c4d官方开发文档查询代码

当你问AI助手比如豆包,如何用python禁止掉xpresso标签时候,它会提示到 这时候要用到两个东西。https://developers.maxon.net/论坛搜索和开发文档 比如这里我就在官方找到正确的id描述 然后我就把参数标签换过来

高效录音转文字:2024年四大工具精选!

在快节奏的工作生活中,能够快速将录音转换成文字是一项非常实用的能力。特别是在需要记录会议纪要、讲座内容或者是采访素材的时候,一款优秀的在线录音转文字工具能派上大用场。以下推荐几个好用的录音转文字工具! 365在线转文字 直达链接:https://www.pdf365.cn/ 365在线转文字是一款提供在线录音转文字服务的工具,它以其高效、便捷的特点受到用户的青睐。用户无需下载安装任何软件,只

poj 1258 Agri-Net(最小生成树模板代码)

感觉用这题来当模板更适合。 题意就是给你邻接矩阵求最小生成树啦。~ prim代码:效率很高。172k...0ms。 #include<stdio.h>#include<algorithm>using namespace std;const int MaxN = 101;const int INF = 0x3f3f3f3f;int g[MaxN][MaxN];int n

计算机毕业设计 大学志愿填报系统 Java+SpringBoot+Vue 前后端分离 文档报告 代码讲解 安装调试

🍊作者:计算机编程-吉哥 🍊简介:专业从事JavaWeb程序开发,微信小程序开发,定制化项目、 源码、代码讲解、文档撰写、ppt制作。做自己喜欢的事,生活就是快乐的。 🍊心愿:点赞 👍 收藏 ⭐评论 📝 🍅 文末获取源码联系 👇🏻 精彩专栏推荐订阅 👇🏻 不然下次找不到哟~Java毕业设计项目~热门选题推荐《1000套》 目录 1.技术选型 2.开发工具 3.功能

SWAP作物生长模型安装教程、数据制备、敏感性分析、气候变化影响、R模型敏感性分析与贝叶斯优化、Fortran源代码分析、气候数据降尺度与变化影响分析

查看原文>>>全流程SWAP农业模型数据制备、敏感性分析及气候变化影响实践技术应用 SWAP模型是由荷兰瓦赫宁根大学开发的先进农作物模型,它综合考虑了土壤-水分-大气以及植被间的相互作用;是一种描述作物生长过程的一种机理性作物生长模型。它不但运用Richard方程,使其能够精确的模拟土壤中水分的运动,而且耦合了WOFOST作物模型使作物的生长描述更为科学。 本文让更多的科研人员和农业工作者

MOLE 2.5 分析分子通道和孔隙

软件介绍 生物大分子通道和孔隙在生物学中发挥着重要作用,例如在分子识别和酶底物特异性方面。 我们介绍了一种名为 MOLE 2.5 的高级软件工具,该工具旨在分析分子通道和孔隙。 与其他可用软件工具的基准测试表明,MOLE 2.5 相比更快、更强大、功能更丰富。作为一项新功能,MOLE 2.5 可以估算已识别通道的物理化学性质。 软件下载 https://pan.quark.cn/s/57

【Linux 从基础到进阶】Ansible自动化运维工具使用

Ansible自动化运维工具使用 Ansible 是一款开源的自动化运维工具,采用无代理架构(agentless),基于 SSH 连接进行管理,具有简单易用、灵活强大、可扩展性高等特点。它广泛用于服务器管理、应用部署、配置管理等任务。本文将介绍 Ansible 的安装、基本使用方法及一些实际运维场景中的应用,旨在帮助运维人员快速上手并熟练运用 Ansible。 1. Ansible的核心概念

代码随想录冲冲冲 Day39 动态规划Part7

198. 打家劫舍 dp数组的意义是在第i位的时候偷的最大钱数是多少 如果nums的size为0 总价值当然就是0 如果nums的size为1 总价值是nums[0] 遍历顺序就是从小到大遍历 之后是递推公式 对于dp[i]的最大价值来说有两种可能 1.偷第i个 那么最大价值就是dp[i-2]+nums[i] 2.不偷第i个 那么价值就是dp[i-1] 之后取这两个的最大值就是d

pip-tools:打造可重复、可控的 Python 开发环境,解决依赖关系,让代码更稳定

在 Python 开发中,管理依赖关系是一项繁琐且容易出错的任务。手动更新依赖版本、处理冲突、确保一致性等等,都可能让开发者感到头疼。而 pip-tools 为开发者提供了一套稳定可靠的解决方案。 什么是 pip-tools? pip-tools 是一组命令行工具,旨在简化 Python 依赖关系的管理,确保项目环境的稳定性和可重复性。它主要包含两个核心工具:pip-compile 和 pip