基于混合输入的环境交互问题研究

• 作者: 曹琰 欧阳永基 王清贤 魏强
• 来源期刊: 计算机应用研究
• 关键词: 符号执行 混合输入 环境交互 一致性模型 约束求解
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 软件技术研究
• 页码范围: 3353-3357
• 页数: 5页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.11.038

摘要

针对软件安全测试中静态符号执行技术难以处理环境交互的问题,提出了一种基于混合输入的符号执行方法.首先,定义了程序执行的一致性模型,系统化地分析了符号执行与实际执行的逼近问题;接着,提出了符号执行与具体执行的转换方法及维护一致性的启发式策略;最后,通过区分可求解约束和复杂约束条件,提出了具体值和符号值混合代入法化简复杂约束的路径求解算法.实验结果表明该方法在处理环境交互问题上的可行性和有效性,扩展了静态符号执行的能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王清贤		19	58	4.0	7.0
2	魏强		10	79	6.0	8.0
3	曹琰		3	5	1.0	2.0
4	欧阳永基		1	1	1.0	1.0