基于蚁群算法的猜测符号执行的路径搜索

摘要：

符号执行作为一种基本的程序分析技术,已被广泛应用于软件测试领域.研究表明,即使在现有的查询优化技术的支持下,约束求解也仍然是符号执行中最耗时的部分.猜测符号执行的思想是将多次约束求解合并成一次求解,从而减少约束求解消耗的时间.但是,猜测的成功率受猜测深度和路径搜索方向的影响,尤其是路径搜索的方向在较大程度上决定了整体猜测的成功率.因此,引导路径搜索向成功率高的方向进行,对提高猜测符号执行的整体效率至关重要.在猜测符号执行的路径搜索过程中引入蚁群算法,根据节点条件信息初次确定分支路径的权重,在多次迭代中根据分支路径的覆盖情况更新权重,通过权重决定路径搜索的方向.实验表明,该方法有效提升了猜测符号执行的效率.

关键词：蚁群算法、猜测符号执行、约束求解、路径搜索

所属期刊栏目：45

分类号：TP311(计算技术、计算机技术)

在线出版日期：2018-08-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：145-150