形状分析符号执行引擎中的状态合并

• 作者: 李兆鹏 邓维
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 符号执行 状态合并 求解代价 内存模型 状态抽象
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 209-215
• 页数: 7页
• 分类号: TP311
• 字数: 9359字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2017.02.034

摘要

符号执行技术以其良好的精确度控制和代码覆盖率被广泛应用于静态程序分析和高覆盖率测试用例自动生成.符号执行在分析程序时,以模拟真实的程序执行过程的方式分析程序的数据流和控制流信息,并检查程序可能出现的所有状态,得到程序的分析结果.高精确度和高覆盖率要求对程序状态描述具体而完备,这会导致符号执行过程中常见的状态爆炸问题.首先提出在不同的执行路径上对具体内存状态进行合并的算法,然后对内存模型进行适度的抽象,扩大状态合并算法的适用范围,最后讨论状态合并所带来的实际效果,并提出了状态合并的优化解决方案.所提出的算法在符号执行引擎ShapeChecker上实现,并取得了良好的实验结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邓维	中国科学技术大学计算机科学技术学院	4	99	3.0	4.0