Java代码弱点与修复之——Dereference before null check 空检查前间接引用

Dereference before null check,空检查前间接引用。通俗一点就是一个可能为空的变量, 先使用了, 后面又进行非空判断。

Coverity 扫描的错误信息是:

Dereference before null check (REVERSE_INULL)
There may be a null pointer exception, or else the comparison against null is unnecessary.

翻译一下:

空检查前间接引用 (反向无效)
可能存在空指针异常,或者不需要与 null 进行比较。

示例

看示例代码:

	public String reverseInull3(String userName) {
		String rtnStr = "";
		String userName2 = userName.substring(1);
		if(userName != null) { //  提升有弱点
			rtnStr += userName2;
		}
		return rtnStr;
	}

上面的代码中:

  • userName 在没有判空前调用substring() 方法进行截取, 并且把结果赋给userName2 ,但是接下来又对userName 进行判空。 在判空代码处就会提示。也就是说: 这个判空其实没有什么作用,这个判空已经晚了,或者不需要。

但是如果上面的userName 被赋值了,则不会提示, 如下代码:

	public String reverseInull
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
FindBugs 是一个静态分析工具,它检查类或者 JAR 文件,将字节码与一组缺陷模式进行对比以发现可能的问题。有了静态分析工具,就可以在不实际运行程序的情况对软件进行分析。不是通过分析类文件的形式或结构来确定程序的意图,而是通常使用 Visitor 模式(请参阅 参考资料)。图 1 显示了分析一个匿名项目的结果(为防止可怕的犯罪,这里不给出它的名字):   在FindBugs的GUI中,需要先选择待扫描的.class文件(FindBugs其实就是对编译后的class进行扫描,藉以发现一些隐藏的bug。)。如果你拥有这些.class档对应的源文件,可把这些.java文件再选上,这样便可以从稍后得出的报告中快捷的定位到出问题的代码上面。此外,还可以选上工程所使用的library,这样似乎可以帮助FindBugs做一些高阶的检查,藉以发现一些更深层的bug。   选定了以上各项后,便可以开始检测了。检测的过程可能会花好几分钟,具体视工程的规模而定。检测完毕可生成一份详细的报告,藉由这份报告,可以发现许多代码中间潜在的bug。比较典型的,如引用指针(null pointer dereference), 特定的资源(db connection)未关闭,等等。如果用人工检查的方式,这些bug可能很难才会被发现,或许永远也无法发现,直到运行时发作…当除掉了这些典型的(classic) bug后,可以确信的是,我们的系统稳定度将会上一个新的台阶。

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

oscar999

送以玫瑰,手留余香

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值