软件安全中基于判断逻辑的空指针引用故障检测

摘要：

空指针引用故障导致的软件安全问题不断出现,给各个方面带来了极大困扰和损失.文章研究利用静态测试的方法对一类空指针引用故障进行静态检测分析,同时提出一种利用判断逻辑信息进行空指针引用检测的方法.文章首先给出与基于判断逻辑的空指针引用故障相关的一些定义和故障分类.接着,提出使用函数摘要技术提取间接判空点和间接解引用点,定义该函数摘要为函数特征信息和后置约束信息的集合,研究了判断逻辑函数摘要生成和传递的方法.最后,利用有限状态机建立基于判断逻辑的空指针引用故障模型,给出故障模型描述,并利用状态机状态转换和函数摘要完成对此类空指针引用故障的检测.在静态检测工具DTS中实现了文中的方法并且对6个开源Java工程进行了测试,测试结果表明文中方法可以检测出更多的BUG并且同样适用于检测大型软件系统.

关键词：软件安全、静态缺陷检测、空指针引用、判空信息、函数摘要

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金91318301

在线出版日期：2016-03-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：47-54