【摘 要】
：
Driller利用符号执行技术辅助模糊测试工具绕过复杂检查,有效提高测试覆盖率。为减少路径数量,Driller的符号执行路径选择算法对于不能立即产生新的状态转移的分支点不翻转,
【基金项目】
：
国家重点研发计划资助项目(2017YFB0802901)
论文部分内容阅读
Driller利用符号执行技术辅助模糊测试工具绕过复杂检查,有效提高测试覆盖率。为减少路径数量,Driller的符号执行路径选择算法对于不能立即产生新的状态转移的分支点不翻转,不约束求解。有些分支点,例如循环结构内的分支点,虽然被翻转后并不能立即产生新的状态转移,但是可能间接影响后续的状态转移。设计基于前向探针的符号执行路径搜索算法FB-SA,即向前符号执行若干步来探测分支点附近是否存在新的状态转移。若存在新的状态转移,则翻转该分支点。实验数据表明,FB-SA算法可以快速提高覆盖率。
其他文献
为加快楚雄州生物医药大健康产业的发展步伐,于2016年2月—2017年9月,选择楚雄州具有代表类性的郁闭度0.5~0.7的云南松林下,开展白芨和滇黄精丰产栽培试验,对栽培密度、腐殖
通过对32名云南省林业专家及17个典型林业灾害隐患点进行调查,对云南省林业气象灾害隐患点、林业气象服务需求进行分析。结果表明,云南省林业气象灾害类型主要为火灾,其次为
为满足互联网用户对保护自身隐私的迫切需求,Tor采用隐藏服务的机制,该机制使用户可以基于洋葱链接的方式在互联网上维护一个位置不可知的服务,但与此同时也为网络犯罪提供了
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
2009年是不平凡的一年。甘肃保险业在中国保监会和省委、省政府的正确领导下,迎难而上,克服金融危机的不利影响,保费收入突破100亿元大关,提前实现保险业
目的:探讨采用二陈汤合三子养亲汤治疗慢阻肺急性加重期的疗效。方法:以收治的慢阻肺急性加重期患者84例开展研究,患者分别纳入观察组、对照组,每组42例,均予西药治疗,观察组
1月13日2016寰球汽车年度盛典在北京秀谷举行300余位专家、领导.跨界人士.媒体齐聚一堂，共同见证这一盛事。 自2014年举办以来寰球汽车年度盛典已经走过三届。在这个过程中寰球汽车直强调公开、公平、公正并一直按照这个要求和标准在做。 本届寰球汽车年度盛典现场寰球汽车集团董事长兼CEO吴迎秋发表了题为《寰球汽车为中国汽车提供了一个最公平的舞台》的主题演讲。 尊敬的各位嘉宾、各位朋友寰球汽车
对漾濞县茶果樟资源进行实地逐株调查,并对其果实主要经济性状进行分析。结果表明:茶果樟资源仅分布于漾濞县顺濞镇N25°32’53.9″~N25°34’19.5″、E99°55’
八蕊单室茱萸为云南省特有的极小种群野生植物和濒危物种。通过查阅相关文献并结合访问调查,确定八蕊单室茱萸可能分布的区域,开展种群资源调查。结果显示:八蕊单室茱萸目前