符号执行循环和递归制导技术研究
发布时间:2021-03-26 16:21
符号执行是近年来一种比较热门的程序分析和测试方法,能够自动探索程序的路径空间,分析进入各路径的约束条件并生成测试用例,具有自动化程度高、路径覆盖率高等优点,在程序分析、自动化测试等领域都有广泛的应用。路径爆炸问题是目前符号执行技术面临的最大的挑战和瓶颈。当程序中的可达路径数量十分庞大时,现有的计算机计算能力很难在规定的时间和空间内分析和处理完程序中所有的路径。循环和递归是引起路径爆炸问题的两个主要原因。在符号执行过程中,循环中的每一次迭代在经过循环条件时,会生成一条继续循环的路径和一条离开循环的路径,导致路径数量成倍增加;递归结构中至少包含一个深入递归的分支和一个从递归返回的分支,每一次递归调用都会生成至少两条路径,一条路径深入递归,另一条路径从递归中返回,也会导致路径数量成倍增加。在符号执行中,循环的迭代次数和递归的调用次数通常不是固定值,且取值范围非常广、可能的取值非常多,这就导致了在符号执行中,循环和递归结构会引起路径数量迅速膨胀。本文通过结合制导技术和状态合并技术,缓解符号执行中循环和递归引起的路径爆炸问题。一方面,使用制导技术分析程序中循环和递归的结构生成制导信息,引导符号执...
【文章来源】:南京大学江苏省 211工程院校 985工程院校 教育部直属院校
【文章页数】:91 页
【学位级别】:硕士
【部分图文】:
符号执行执行树
化的方式将循环内的执行情况直观地表现出来。图中的信息包括循环条件、循环??次数、重要分支、退出循环条件。??图5.8为某次符号执行过程中的两条执行路径。可以图上很清楚地看到该循??环的循环条件为丨<?n,循环中有四个离开循环的分支,每个离开循环的分支对??55??
【参考文献】:
期刊论文
[1]一种面向程序动态分析的循环摘要生成方法[J]. 聂楚江,刘海峰,苏璞睿,冯登国. 电子学报. 2014(06)
[2]程序静态分析技术与工具[J]. 杨宇,张健. 计算机科学. 2004(02)
本文编号:3101885
【文章来源】:南京大学江苏省 211工程院校 985工程院校 教育部直属院校
【文章页数】:91 页
【学位级别】:硕士
【部分图文】:
符号执行执行树
化的方式将循环内的执行情况直观地表现出来。图中的信息包括循环条件、循环??次数、重要分支、退出循环条件。??图5.8为某次符号执行过程中的两条执行路径。可以图上很清楚地看到该循??环的循环条件为丨<?n,循环中有四个离开循环的分支,每个离开循环的分支对??55??
【参考文献】:
期刊论文
[1]一种面向程序动态分析的循环摘要生成方法[J]. 聂楚江,刘海峰,苏璞睿,冯登国. 电子学报. 2014(06)
[2]程序静态分析技术与工具[J]. 杨宇,张健. 计算机科学. 2004(02)
本文编号:3101885
本文链接:https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/3101885.html