摘要
针对软件开发过程中,变量变更造成的缓冲区溢出检测成本高、效率低等问题,提出了一种基于数据拓扑的危险函数调用影响分析方法,从变量粒度和路径粒度分析变量变更对危险函数调用的影响.通过静态分析源代码,提取变量定义、引用及依赖关系信息、危险函数调用信息和函数调用关系等内容;构建变量依赖关系集合,对变更变量进行数据拓扑分析,结合变量在栈内的分布规律,获取变量影响域;结合函数调用关系信息建立变量影响分析模型,获取路径影响域;根据变量影响域和路径影响域获取变更变量对危险函数调用的影响.实验结果表明,此方法界定变量变更对危险函数调用的影响更加精准.该方法可理解性和可用性较高,能够有效提高软件回归测试的精度和效率.
基金项目
北京市自然科学基金资助项目(Z160002)
网络文化与数字传播北京市重点实验室开放课题(5221935409)
国家科技期刊平台
NSTL
维普
万方数据