【摘 要】
：
为了发现代码中可能存在的潜在错误,通过探究一种典型的开源Java静态代码分析工具FindBugs的实现原理,分析此工具在函数返回值缺陷检测模式的实现机制,进而发现其在检测自定
【机 构】
：
解放军理工大学指挥信息系统学院,全军军事训练软件测评中心
【基金项目】
：
国家863计划资助项目（2009AA012402）
论文部分内容阅读
为了发现代码中可能存在的潜在错误,通过探究一种典型的开源Java静态代码分析工具FindBugs的实现原理,分析此工具在函数返回值缺陷检测模式的实现机制,进而发现其在检测自定义函数返回值上的不足。通过分析FindBugs源代码并且针对此函数返回值缺陷模式具有的不足进行相应地改进,并将改进后的检测工具对被测代码进行检验。通过检验发现,改进前的检测工具无法对自定义的函数返回值进行检测,改进后能够检测到忽略自定义函数返回值问题,且提供一些错误提示信息。改进后的代码分析工具能够有效地检测到此类函数返回值问题,避免
其他文献
文章以周原甲骨、西周金文和《诗经》的趋向动词为研究对象，进行了穷尽性的分析统计。周原甲骨和西周金文中的趋向动词与《诗经》趋向动词的主要语法功能是相同的，当时民族共同
研究了壳聚糖对Ni(Ⅱ)的富集、洗脱性能及苯并噻唑重氮氨基偶氮苯BTDAB与Ni(Ⅱ)的显色反应,建立了微量镍的分离富集光度测定新方法.实验表明,壳聚糖对Ni(Ⅱ)吸附性能良好,其
R&S PRISMON是一款对视音频业务进行多画面监看、监测的产品.在此次NAB2017展会上,TV Technology组织授予这款产品NewBay表现奖.NAB是世界性的广播电视展览会,内容涉及融合媒
自我效能感指个体对自己是否有能力为完成某一行为判断，幸福感就是指健康、快乐的状态。两者从内涵上有一定的相关性，是对自己能力和状态的感觉和判断。为探究新疆维吾尔大学生
为了探究应变速率对节理岩体裂纹扩展形态和贯通破坏的影响,提出在室内制作含裂隙的红砂岩试样,采用不同加载速率进行单轴加载试验,观察裂隙起裂、贯通、破坏的全过程,并在物
为了研究黄土地层盾构隧道衬背空洞注浆过程变形规律,采用渗流-应力耦合三维非线性有限元方法,系统分析了西安地铁某区间隧道衬背空洞注浆病害治理过程中隧道结构体系变形规