符号执行技术及应用研究综述OACSTPCD
Review of Symbolic Execution Technology and Applications
符号执行是一种程序分析技术,通过收集程序路径上约束条件并利用约束求解器生成高覆盖率的测试用例,能发现深层次程序错误的优势.梳理了符号执行概念和发展历程,从符号执行系统核心设计切入,对符号执行技术的中间语言、路径搜索和约束求解进行分类阐述.调研现有研究工作进展,选取应用最突出的安全漏洞方面,从漏洞利用与漏洞检测上系统地分析符号执行技术应用细节.依据符号执行技术特点选取一些研究成果整理分析,探讨符号执行技术面临的局限与解决方案,并展望了未来趋势.
吴皓;周世龙;史东辉;李强
安徽建筑大学 电子与信息工程学院,合肥 230601国防科技大学 电子对抗学院,合肥 230037安徽建筑大学 电子与信息工程学院,合肥 230601国防科技大学 电子对抗学院,合肥 230037
信息技术与安全科学
符号执行符号执行系统约束求解漏洞利用漏洞检测
《计算机工程与应用》 2023 (8)
56-72,17
"十四五"共用技术项目(0722-217FJ129YPF).
评论