Findbugs中常见错误的分类和原因分析

最新推荐文章于 2024-06-19 13:07:16 发布
最新推荐文章于 2024-06-19 13:07:16 发布
阅读量6.6k 收藏 8
点赞数 1
分类专栏： JAVA 文章标签： java
原文链接：https://www.cnblogs.com/pony1223/p/Findbugs.html
版权

Findbugs 中的常用的bug pattern配置

Bug patterndescription
Bad practice不好的习惯
Correctness代码的正确性
Dodgy小问题
Malicious code vulnerability恶意代码
Internationalization国际化问题
Performance性能问题
Security安全性问题
Multithreaded currectness线程问题
Experrimental实验性问题

常见错误和原因

  • ES_COMPARING_PARAMETER_STRING_WITH_EQ
    ES: Comparison of String parameter using == or != (ES_COMPARING_PARAMETER_STRING_WITH_EQ)

使用 == 或者 != 来比较字符串或interned字符串，不会获得显著的性能提升，同时并不可靠，请考虑使用equals()方法。

  • HE_EQUALS_NO_HASHCODE
    HE: Class defines equals() but not hashCode() (HE_EQUALS_NO_HASHCODE)

类定义了equals()方法但没有重写hashCode()方法，这样违背了相同对象必须具有相同的hashcodes的原则

  • IT_NO_SUCH_ELEMENT
    It: Iterator next() method can’t throw NoSuchElement exception (IT_NO_SUCH_ELEMENT)

迭代器Iterator无法抛出NoSuchElement异常，类实现了java.util.Iterator接口，但是next()方法无法抛出java.util.NoSuchElementException异常，因此，next()方法应该做如此修改，当被调用时，如果没有element返回，则抛出NoSuchElementException异常

  • J2EE_STORE_OF_NON_SERIALIZABLE_OBJECT_INTO_SESSION
    J2EE: Store of non serializable object into HttpSession (J2EE_STORE_OF_NON_SERIALIZABLE_OBJECT_INTO_SESSION)

将没有实现serializable的对象放到HttpSession中，当这个session被钝化和迁移时，将会产生错误，建议放到HttpSession中的对象都实现serializable接口。

  • ODR_OPEN_DATABASE_RESOURCE
    ODR: Method may fail to close database resource (ODR_OPEN_DATABASE_RESOURCE)

方法可能未关闭数据库资源，未关闭数据库资源将会导致性能变差，还可能引起应用与服务器间的通讯问题。

  • OS_OPEN_STREAM
    OS: Method may fail to close stream (OS_OPEN_STREAM)

方法可能未关闭stream，方法产生了一个IO流，却未关闭，将会导致文件描绘符的泄漏，建议使用finally block来确保io stream被关闭。

  • DMI_CALLING_NEXT_FROM_HASNEXT
    DMI: hasNext method invokes next (DMI_CALLING_NEXT_FROM_HASNEXT)

The hasNext() method invokes the next() method. This is almost certainly wrong, since the hasNext() method is not supposed to change the state of the iterator, and the next method is supposed to change the state of the iterator.

  • IL_INFINITE_LOOP
    IL: An apparent infinite loop (IL_INFINITE_LOOP)

明显的无限循环.

  • IL_INFINITE_RECURSIVE_LOOP
    IL: An apparent infinite recursive loop (IL_INFINITE_RECURSIVE_LOOP)

明显的无限迭代循环,将导致堆栈溢出.

  • WMI_WRONG_MAP_ITERATOR
    WMI: Inefficient use of keySet iterator instead of entrySet iterator (WMI_WRONG_MAP_ITERATOR)

使用了keySet iterator和Map.get(key)来获取Map值,这种方式效率低,建议使用entrySet的iterator效率更高.

  • IM_BAD_CHECK_FOR_ODD
    IM: Check for oddness that won’t work for negative numbers (IM_BAD_CHECK_FOR_ODD)

奇偶检测逻辑,未考虑负数情况.

常见bug 类型

  • Call to equals() comparing different types

id: EC_UNRELATED_TYPES, type: EC, category: CORRECTNESS

原因分析：

这缺陷的意思是，大部分都是类型永远不会有这种情况， 比如a为DOUBLE类型所以EQUALS只匹配字符串 if(a.equals())或if(a.quals())这类判断是根本不会有用的；

示例：if(“1”.equals(DAOValue.valueofSuccess()))

  • Dead store to local variable

id: DLS_DEAD_LOCAL_STORE, type: DLS, category: STYLE

原因分析：
DLS问题指的是给本地变量赋了一个值，但随后的代码并没有用到这个值。

  • Method call passes null for nonnull parameter

id: NP_NULL_PARAM_DEREF, type: NP, category: CORRECTNESS

原因分析：对参数为null的情况未作处理。

问题代码:
在这里插入图片描述
修改后:
在这里插入图片描述

  • Method with Boolean return type returns explicit null

id: NP_BOOLEAN_RETURN_NULL, type: NP, category: BAD_PRACTICE

原因分析：
方法如果定义为返回类型Boolean，则可以返回Boolean.TRUE, Boolean.FALSE or null （如果 return 的是 true or false， 则AutoBoxing 成 Boolean.TRUE, Boolean.FALSE）。因为JDK 支持 基本类型和装箱类型的自动转化， 所以下面的代码中：

boolean result = test_NP_BOOLEAN_RETURN_NULL();

因为此时test_NP_BOOLEAN_RETURN_NULL() 返回的是NULL， 所以 JDK 做 automatic unboxing 的操作时， 即调用了 object. booleanValue() 方法时，抛出了空指针。

改成：boolean result = test_NP_BOOLEAN_RETURN_NULL()==null?false:true;

  • No relationship between generic parameter and method argument

id: GC_UNRELATED_TYPES, type: GC, category: CORRECTNESS
原因分析：调用Collection类中的contains方法比较时，所比较的两个参数类型不致；

例如：
在这里插入图片描述
修改后：

在这里插入图片描述

  • Null pointer dereference in method on exception path

id: NP_ALWAYS_NULL_EXCEPTION, type: NP, category: CORRECTNESS

原因分析：在异常处理时，调用一个空对象的方法时可能引起空指针异常。

例如：
在这里插入图片描述

  • Nullcheck of value previously dereferenced

id: RCN_REDUNDANT_NULLCHECK_WOULD_HAVE_BEEN_A_NPE, type: RCN, category: CORRECTNESS

原因分析：前面获取的对象，现在引用的时候没有交验是否为null。
例如：
在这里插入图片描述

  • Possible null pointer dereference

id: NP_NULL_ON_SOME_PATH, type: NP, category: CORRECTNESS

原因分析：可能存在空引用。

例如：
在这里插入图片描述

  • Possible null pointer dereference in method on exception path

id: NP_NULL_ON_SOME_PATH_EXCEPTION, type: NP, category: CORRECTNESS

原因分析：

代码调用时， 遇到异常分支， 可能造成一个对象没有获得赋值依旧保持NULL空指针。 接下来如果对这个对象有引用， 可能造成NullPointerException 空指针异常。.

在这里插入图片描述

  • Test for floating point equality

id: FE_FLOATING_POINT_EQUALITY, type: FE, category: STYLE

原因分析：

Float类型的数据比较时，会存在的定的误差值，用!=来比较不是很准确，建议比较两个数的绝对值是否在一定的范围内来进行比较。如，if ( Math.abs(x - y) < .0000001 )

例如：
在这里插入图片描述

  • Useless assignment in return statement

id: DLS_DEAD_LOCAL_STORE_IN_RETURN, type: DLS, category: STYLE

原因分析：

在return的对象中，没有必要通过对象赋值再进行返回。

例如:
在这里插入图片描述

  • Write to static field from instance method

id: ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD, type: ST, category: STYLE

原因分析：向static字段中写入值。

例如：

private static DBRBO dbrBO;
 public final void refresh() {
        danskeBankBO = null;
        dbrBO = null;
        fileAndPathBO = null;
    }
建

议改为：去掉static。

  • Incorrect lazy initialization and update of static field

id: LI_LAZY_INIT_UPDATE_STATIC, type: LI, category: MT_CORRECTNESS
原因分析：

该方法的初始化中包含了一个迟缓初始化的静态变量。你的方法引用了一个静态变量，估计是类静态变量，那么多线程调用这个方法时，你的变量就会面临线程安全的问题了，除非别的东西阻止任何其他线程访问存储对象从直到它完全被初始化。

  • Method ignores return value

id: RV_RETURN_VALUE_IGNORED, type: RV, category: CORRECTNESS

原因分析：方法忽略了设置返回值。

例如：
在这里插入图片描述

  • Method might ignore exception

id: DE_MIGHT_IGNORE, type: DE, category: BAD_PRACTICE

原因分析：应该将异常 处理、打印或者抛出

例如：
在这里插入图片描述

  • Unwritten field

id: UWF_UNWRITTEN_FIELD, type: UwF, category: CORRECTNESS

原因分析：从未被初始化的变量，调用它时，将返回默认值，要么初始化，要么删掉它。

例如：
在这里插入图片描述

  • Value is null and guaranteed to be dereferenced on exception path

id: NP_GUARANTEED_DEREF_ON_EXCEPTION_PATH, type: NP, category: CORRECTNESS

原因分析：exception分支上，存在引用一个null对象的方法，引发空指针异常。

例如:
在这里插入图片描述

  • Very confusing method names

id: NM_VERY_CONFUSING, type: Nm, category: CORRECTNESS

原因分析：被引用的方法中存在容易混淆的变量。

在这里插入图片描述
fzgsdm改成 fzgsDm 即可。

  • Method invokes inefficient new String() constructor

id: DM_STRING_VOID_CTOR, type: Dm, category: Performance

原因分析：不使用new String()定义空的字符串

例如：
在这里插入图片描述
改成:
在这里插入图片描述

  • Load of known null value

id: NP_LOAD_OF_KNOWN_NULL_VALUE, type: Np, category: Dodgy

原因分析：null值的不当使用。

例如：
在这里插入图片描述

  • Method concatenates strings using + in a loop

id: SBSC_USE_STRINGBUFFER_CONCATENATION, type: SBSC, category: Performance

原因分析：在循环里使用字符串连接，效率低，应该使用StringBuilder/StringBuffer

例如:

 // This is bad
  String s = "";
  for (int i = 0; i < field.length; ++i) {
    s = s + field[i];
  }

改为:

  // This is better
  StringBuffer buf = new StringBuffer();
  for (int i = 0; i < field.length; ++i) {
    buf.append(field[i]);
  }
  String s = buf.toString();

详细的参考以下网址

API：http://findbugs.sourceforge.net/api/index.html

技术手册：http://findbugs.sourceforge.net/manual/index.html

更多请参见官网：http://findbugs.sourceforge.net/bugDescriptions.html

本文转载在:https://www.cnblogs.com/pony1223/p/Findbugs.html

万万君
关注
  • 1
    点赞
  • 踩
  • 8
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
OpenFOAM算例报错，浮点溢出错误，Floating point exception【汇总】
深海民工CFDer
10-02 1万+
浮点数例外（吐核）错误 今天，在运行案例文件时出现以下错误： 在网上查阅了一些资料，给出了以下建议: 1 查网格质量（checkMesh） 2 确认边界条件是否出错 3 确认一下是不是出现了除以0的这种情况。 4 其他数学上的错误，比如负数开根 5 是不是time step太大了？ 用的PISO 、PIMPLE 还是SIMPLE？ 6 编译了新的程序以后，solver有没有重新编译，是否相关的头文件都重新编译过了一次？ 弄了半天，结果发现是忘了设置场量setFields。 参考文献：https
Fluent计算出现“Floating point exception”时的解决办法
qq_15963745的博客
02-22 4489
如果亚松弛因子为1，则代表新值的权重为1，旧值为0，即完全使用新值作为下一步的初始值；反之，若松弛因子为0，则代表新值的权重为0，旧值为1，即以上一步的旧值作为下一步的初始值。在进行仿真计算时，一般会根据初始条件估算出下一步的结果，但大多数情况下估算结果会与真实结果差距较大，因此通过迭代的方法进行计算，收敛得到真实结果。一般来说，对于速度的亚松弛因子取0.7，对于压力及其他标量为0.3.如果计算结果不收敛，可以尝试使用更低的亚松弛因子，例如速度亚松弛因子取0.3，压力及其他标量取0.1。
FindBugs 常见错误类型整理
jayson1001的博客
03-04 8406
转载自：https://zdran.com/20180717.html 1.Dodgy code 糟糕的代码 1.1 Misuse of static fields 滥用静态字段 Write to static field from instance method 由于在方法内对静态属性进行赋值操作 class A{ private static int count; ...
代码缺陷扫描神器——FindBugs
白帽黑客佳哥的博客
05-13 1172
FindBugs目前，主要有三种形式使用，GUI形式、插件形式、Ant脚本形式，在这里只讲述FindBugs作为插件，在Android Studio中的应用。根据缺陷的性质，大致可以分为下列几类：分类1）Bad practice：不好的做法，代码违反了公认的最佳实践标准，比如某个类实现了equals方法但未实现hashCode方法等；2）Malicious code vulnerbility：恶意的代码漏洞；3）Correctness：可能不正确，比如错误的强制类型转换；
Unity IL2CPP包Crash闪退提示 Cause: null pointer dereference 解决办法
m0_48263881的博客
11-06 1053
最近打IL2CPP包到安卓测试时进logo后一直闪退，打开Android Logcat后发现抛出crash:null pointer dereference
Linux：floating point exception错误解析介绍
hhd1988的专栏
11-30 2014
Linux：floating point exception错误解析
java代码分析工具findbugs安装使用说明及常见错误
05-15
- 分析完成后，FindBugs会列出所有检测到的潜在问题，按照严重性分类为"Error", "Warning", "Info"等。 4. **理解警告** - 每个警告都包含错误类型、问题描述、影响程度和可能的解决方案。点击错误可以跳转到...
FindBugs 3.0
04-08
2. **详尽的错误报告**：FindBugs 提供了详细的错误分类和严重级别，每种问题都有清晰的描述和解决方案建议，帮助开发者理解和解决。 3. **自定义设置**：用户可以根据项目需求调整分析级别，过滤掉不关心的警告，...
FindBugs-IDEA-1.0 1.1.zip
05-26
2. **错误分类**：FindBugs将检测到的问题分为不同的严重级别，包括信息、警告和错误，这样开发者可以根据优先级处理问题。它还会提供详细的错误描述和建议的解决方案，便于理解和修复。 3. **自定义配置**：用户...
findbugs 3.0
12-22
- **学习与优化**：通过分析FindBugs报告，了解常见错误类型，逐步改进编码习惯，减少问题发生。 总结，FindBugs 3.0作为一款强大的静态代码分析工具，不仅提升了性能，增强了对Java 8的支持，还提供了丰富的...
FindBugs-IDEA-1.0.1
11-28
FindBugs是一款开源的静态代码分析工具，它能够检测出Java代码中的潜在问题，包括空指针异常、资源泄漏、并发问题等几十种常见错误。这些错误在程序运行时可能不会立即暴露，但随着时间的推移，它们可能导致软件的...
ncnn报null pointer dereference异常
修炼之路
05-19 4053
错误描述 基于c++使用ncnn封装了深度学习模型，并将c++项目打包成为了一个so库给Android调用，在打包成为so库之前，在Windows系统以及Ubuntu系统利用电脑的camera测试过都能正常运行没有任何异常，打包成so库之后给Android的开发人员调用时，直接报了一个null pointer dereference错误，并且APP直接奔溃 错误定位 对于打包的so库不好定位错误的位置，能够提供的信息都是内存地址相关信息，所以我们需要先通过这些错误信息提供的内存地址来定位so库报错的位
Floating point exception
Mrknowledge
01-27 3957
Question: linux下程序刚一运行就报错：Floating point exception。 使用gdb跟踪，在main设置断点，可是刚run起来就出错，连断点没有停止，估计不是程序里面的问题，是不是库的链接问题? Answer: Floating Point Exception: 由于使用高版本的gcc glibc 编译后在低版本的glibc上运行导致. gcc现
空指针解引用(nullpointer dereference)_空指针解引用分析
热门推荐
weixin_42508313的博客
01-27 1万+
一、 概述 1．CVE-2018-8120 是通过一个空指针解引用达到任意读写的漏洞。其实个人感觉单凭空指针 解引用的危害就是 BSOD，但是利用方面还是要配合任意读写漏洞，如果单纯的只是 BSOD 那可能充其量算一个 BUG，但是如果能配合任意读写(全称：Write What Where)那么才算 是漏洞。通过思考得出的结论就是漏洞 = BUG+利用。二、 初识空指针解引用1．空指针...
FindBugs插件--FindBugs中的错误分析
NWJ_20100401的博客
03-02 492
1.Boxing/unboxing to parse a primitiveA boxed primitive is created from a String, just to extract the unboxed primitive value. It is more efficient to just call the static parseXXX method. 装箱/解装...
【C语言】解决C语言报错：Null Pointer Dereference
最新发布
Easonmax的博客
06-19 1175
Null Pointer Dereference（空指针解引用）是C语言中常见且危险的内存管理错误。它通常在程序试图访问通过空指针（NULL pointer）引用的内存地址时发生。这种错误会导致程序行为不可预测，可能引发段错误（Segmentation Fault）、程序崩溃，甚至安全漏洞。本文将详细介绍Null Pointer Dereference的产生原因，提供多种解决方案，并通过实例代码演示如何有效避免和解决此类错误。
FindBugs 描述大全
java_cn9527的博客
05-15 2509
FindBugs Bug Descriptions This document lists the standard bug patterns reported byFindBugsversion 3.0.1. Descriptions BC: Equals method should not assume anything about the type of its argument (BC_EQUALS_METHOD_SHOULD_WORK_FOR_ALL_OB...
Possible null pointer dereference
07-12
您好！针对您提到的可能的空指针解引用问题，我可以给出一些常见的解决方法和建议。请注意，以下建议是一般性的，具体解决方法可能因代码和情况而异，需要根据具体情况进行调整和实施。 1. 检查指针是否为null：在使用指针之前，确保先进行空指针检查。可以使用条件语句（如if语句）来检查指针是否为null，只有在指针不为null时才进行后续操作。 2. 初始化指针：在声明指针变量时，可以将其初始化为null或合适的值。这样可以避免未初始化的指针引发空指针异常。 3. 避免重复释放：在使用指针之前，确保它已经被分配了合适的内存，并且没有被重复释放。重复释放可能会导致指针变为野指针，进而引发空指针异常。 4. 合理使用条件语句：在代码中使用条件语句来处理可能的空指针情况。例如，可以使用条件运算符（如三元运算符）来设置默认值或执行备选操作。 5. 使用断言或异常处理：在关键的代码段中，可以使用断言或异常处理机制来捕获和处理空指针异常。这样可以增加代码的健壮性，并提供更好的错误处理机制。 请注意，以上建议是一般性的，具体实施方法需要根据您的代码和开发环境进行调整。希望这些建议对您有所帮助！如果您有任何进一步的问题，请随时提问。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值