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