一种基于约束的指针程序路径选择方法

摘要：

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.

关键词：约束求解、静态单指派、指向分析、路径选择、测试用例生成

所属期刊栏目：57

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金61003268;91018008;空天信息安全与可信计算教育部重点实验室开放基金资助项目AISTC2008_01;AISTC2008Q02

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

页码：389-393