符号执行中的循环依赖分析方法

摘要：

符号执行方法处理循环时存在路径爆炸的问题.为此,提出一种基于归纳变量的循环依赖分析方法.通过识别循环归纳变量及符号表达式,结合边界约束条件生成可达归纳变量分支的路径约束,并采用符号化映射方法分析嵌套循环归纳变量依赖问题,从而在不展开循环的情况下生成覆盖归纳变量分支的测试用例.对开源工具Libxm12进行实验,该方法能发现其中2个while循环所引发的数组访问越界错误.

关键词：符号执行、路径爆炸、归纳变量、循环依赖、约束求解、嵌套循环

所属期刊栏目：38

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

资助基金：国家"863"计划基金资助项目2008AA01Z420

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

页数：共5页

页码：24-27,33