紧凑符号执行（技术报告）
软件工程
2012-01-31 v1
摘要
我们提出了 King 符号执行技术的一种推广，称为紧凑符号执行。该方法基于模板的概念：模板是对程序部分的声明式参数化描述，能够在符号执行树中生成具有程序状态规律性的路径。这些路径的典型来源是程序循环和递归调用。利用模板，我们将相应的路径折叠为单个顶点，从而在不丢失任何信息的情况下显著减小树的规模。甚至存在一些程序，其紧凑符号执行树是有限的，而经典符号执行树却是无限的。
引用
@article{arxiv.1201.6033,
title = {Compact Symbolic Execution (technical report)},
author = {Marek Trtík},
journal= {arXiv preprint arXiv:1201.6033},
year = {2012}
}