符号执行技术及应用研究综述

来源：计算机工程与应用杂志2023年第8期北京时间：

作者：吴皓, 周世龙, 史东辉, 李强

单位：1.安徽建筑大学 电子与信息工程学院，合肥 230601；2.国防科技大学 电子对抗学院，合肥 230037

摘要：符号执行是一种程序分析技术，通过收集程序路径上约束条件并利用约束求解器生成高覆盖率的测试用例，能发现深层次程序错误的优势。梳理了符号执行概念和发展历程，从符号执行系统核心设计切入，对符号执行技术的中间语言、路径搜索和约束求解进行分类阐述。调研现有研究工作进展，选取应用最突出的安全漏洞方面，从漏洞利用与漏洞检测上系统地分析符号执行技术应用细节。依据符号执行技术特点选取一些研究成果整理分析，探讨符号执行技术面临的局限与解决方案，并展望了未来趋势。

关键词：符号执行,符号执行系统,约束求解,漏洞利用,漏洞检测