基于FindBugs的函数返回值缺陷检测模式的改进

作者：吕增援; 黄松; 惠战伟

来源：解放军理工大学学报(自然科学版), 2015, 16(06): 518-523.

• FindBugs
• 静态分析工具
• 检测器
• 返回值
• 字节码

为了发现代码中可能存在的潜在错误,通过探究一种典型的开源Java静态代码分析工具FindBugs的实现原理,分析此工具在函数返回值缺陷检测模式的实现机制,进而发现其在检测自定义函数返回值上的不足。通过分析FindBugs源代码并且针对此函数返回值缺陷模式具有的不足进行相应地改进,并将改进后的检测工具对被测代码进行检验。通过检验发现,改进前的检测工具无法对自定义的函数返回值进行检测,改进后能够检测到忽略自定义函数返回值问题,且提供一些错误提示信息。改进后的代码分析工具能够有效地检测到此类函数返回值问题,避免了潜在bug的发生,一定程度上提高了代码的质量。

• 单位
  解放军理工大学