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

作者：刘杰; 曹琰; 魏强; 彭建山

来源：计算机工程, 2012, (22): 24-27+33.

• 符号执行
• 路径爆炸
• 归纳变量
• 循环依赖
• 约束求解
• 嵌套循环

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