摘要
提出了一种新型的循环优化分析方法,用于在符号执行中优化归纳变量为非线性的循环。首先详细分析了非线性归纳变量在符号执行中产生的问题,通过将循环内部变量转换为递推链CR基本式,推导得出的归纳变量与循环次数的依赖式,进而采用二次曲面拟合的方法对其进行化简,从而达到了循环优化的方法,实验证明文章提出的方法在一定程度上缓解了非线性归纳变量给符号执行带来的状态空间爆炸、死循环等问题。
This paper proposes a new method of loop optimization and analysis during the symbolic execution,which could optimize the non-linear induction variable loop.This paper first analyses the issues that the loop brings,then uses the Chains of Recurrence Algebra to turn the non-linear induction variable into the CR form,and the optimization method is based on the conicoid.The issues such as state space explosion and infinite loop can be eased effectually.
出处
《信息工程大学学报》
2017年第5期630-634,共5页
Journal of Information Engineering University
关键词
递推链代数
循环优化
符号执行
chains of recurrence algebra
loop optimization
symbolic execution