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

作者：周虹伯; 金大海; 宫云战

来源：Z201209007, 2012, (09): 1852-1862.

• 静态分析
• 缺陷检测
• 域敏感
• 指向分析
• 区间运算 static analysis
• defect detecting
• field-sensitive
• point-to analysis
• interval arithmetic

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

• 单位
  网络与交换技术国家重点实验室; 北京邮电大学