文献类型：期刊文章

作　　者：刘经德[1,2] 陈振邦[1] 王戟[1,3]

机构地区：[1]国防科学技术大学计算机学院 [2]95835部队 [3]并行与分布处理国防科技重点实验室(国防科学技术大学计算机学院)

出　　处：《计算机研究与发展》

基　　金：国家"九七三"重点基础研究计划基金项目(2014CB340703);国家自然科学基金项目(61120106006;61472440;61272140)~~

年　　份：2016

卷　　号：53

期　　号：5

起止页码：1086-1094

语　　种：中文

收录情况：AJ、BDHX、BDHX2014、CSA-PROQEUST、CSCD、CSCD2015_2016、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：符号执行中约束求解所占的时间比例非常高.同时,不同复杂度约束的求解时间开销差距悬殊,这一现象在对包含复杂数值计算的程序进行符号执行时尤为明显.在指定时间内求解更多约束有利于覆盖更多语句和探索更多路径.为此,提出了基于求解开销预测的符号执行搜索策略.基于实验总结出了度量约束复杂度的经验公式,并结合约束的历史求解开销来预测当前的求解开销,从而在符号执行过程中优先探索求解开销较小的路径.在KLEE中实现了上述搜索策略,并对GNU科学计算库(GSL)中的12个模块进行了实验.实验结果表明,相比现有搜索策略,提出的搜索策略在保证语句覆盖率的同时,可以探索更多的路径(平均24.34%提高);而且,在相同时间内,可以查找出更多的软件缺陷,同时查找出相同缺陷的时间开销平均降低了44.43%.

关 键 词：符号执行  约束求解  加权随机搜索  缺陷查找  语句覆盖  

分 类 号：TP311]