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