信息工程大学学报2017，Vol.18Issue(5)：630-634,5.DOI:10.3969/j.issn.1671-0673.2017.05.022
符号执行中非线性归纳变量循环优化分析方法
Optimization and Analysis of the Non-Linear Induction Variable Loop in Symbolic Execution
秦书锴 1王震宇 2汪永红 1徐凯杰2
作者信息
- 1. 信息工程大学,河南 郑州450001
- 2. 国家数学工程与先进计算重点实验室,河南 郑州450001
- 折叠
摘要
关键词
递推链代数/循环优化/符号执行分类
信息技术与安全科学引用本文复制引用
秦书锴,王震宇,汪永红,徐凯杰..符号执行中非线性归纳变量循环优化分析方法[J].信息工程大学学报,2017,18(5):630-634,5.
