基于域敏感指向分析的区间运算在软件测试中的应用

摘要：

静态分析由于并不执行源代码,导致无法获取变量在实际运行中的取值,进而对一些和变量取值相关的缺陷检测带来了一定困难.利用符号执行和区间运算技术,虽然可以模拟程序实际执行时变量的可能取值范围,但对于结构体、数组等,由于不能对其成员进行独立描述,导致数据流无法支持域敏感分析,对和其成员变量相关的缺陷的检测难以实现,产生很多漏报.基于域敏感指向分析的区间运算模型,在域敏感指向分析模型的基础上对其进行了改进,将复杂数据类型拆分成独立的成员变量进行分析,并提出一种关联抽象取值集的类型系统,该系统可以保守的描述程序在动态执行时变量的可能取值.结合赋值语句的抽象语法定义,给出了该类型系统在数据流计算时的具体推导算法,并将其应用在缺陷检测系统(DTSGCC和DTSCPP)中.选用DTSCPP作为实验平台,对6个C++开源工程进行了测试,并对其数据进行了统计分析,结果表明该方法可以减少漏报,且测试效率与非域敏感版本相当.

关键词：静态分析、缺陷检测、域敏感、指向分析、区间运算

所属期刊栏目：49

分类号：TP302.8(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划基金项目2009AA012404,2012AA010101

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

页数：共11页

页码：1852-1862