符号执行中非线性归纳变量循环优化分析方法

• 作者: 徐凯杰 汪永红 王震宇 秦书锴
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 递推链代数 循环优化 符号执行
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 计算机技术及应用
• 页码范围: 630-634
• 页数: 5页
• 分类号: TP393
• 字数: 4398字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2017.05.022

摘要

提出了一种新型的循环优化分析方法,用于在符号执行中优化归纳变量为非线性的循环.首先详细分析了非线性归纳变量在符号执行中产生的问题,通过将循环内部变量转换为递推链CR基本式,推导得出的归纳变量与循环次数的依赖式,进而采用二次曲面拟合的方法对其进行化简,从而达到了循环优化的方法,实验证明文章提出的方法在一定程度上缓解了非线性归纳变量给符号执行带来的状态空间爆炸、死循环等问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪永红		16	63	6.0	7.0
3	王震宇		14	84	6.0	9.0
5	秦书锴		1	1	1.0	1.0
13	徐凯杰		1	1	1.0	1.0