典型文献
符号执行研究综述
文献摘要：
符号执行是一种重要的动态程序分析技术,能够对分析目标进行全面深入的形式化分析,从而生成高质量输入,覆盖约束条件苛刻的路径.首先,阐述了符号执行技术的四种执行模式:经典模式、混合模式、执行生成测试模式以及选择执行模式;然后,分析了符号执行技术从诞生之初便面临的三大挑战:路径爆炸、约束求解困难和符号模拟低效.最后,从当前主流先进符号系统以及符号执行与模糊测试结合两个角度介绍了符号执行技术研究现状.
文献关键词：
符号执行;混合执行;执行生成测试;选择符号执行
中图分类号：
作者姓名：
芦笑瑜;麻荣宽;魏强
作者机构：
战略支援部队信息工程大学,河南郑州,450000
文献出处：
引用格式：
[1]芦笑瑜;麻荣宽;魏强-.符号执行研究综述)[J].工业信息安全,2022(01):24-31
A类：
执行生成测试,选择符号执行
B类：
程序分析,形式化分析,苛刻,执行模式,经典模式,混合模式,测试模式,便面,约束求解,解困,符号系统,模糊测试,混合执行
AB值：
0.315913
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
