【摘 要】
：
动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件,但是该方法面临路径爆炸问题.针对符号执行中路径探索和约束求解耗时问题,提出
【机 构】
：
桂林电子科技大学 广西可信软件重点实验室,广西 桂林,541004武汉大学 软件工程国家重点实验室,武汉,430000;
论文部分内容阅读
动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件,但是该方法面临路径爆炸问题.针对符号执行中路径探索和约束求解耗时问题,提出了一个并行化动态符号执行方法.该方法基于Actor并行模型,将动态符号执行中的路径探索与约束求解任务在多个节点并行执行,并基于子树转移方式实现节点任务的动态负载均衡,减少了节点间的通信代价.基于上述方法,研制了并行动态符号执行工具Jdart-parallel.与动态符号执行工具JDart的对比试验显示在使用多个工作节点时,相比于JDart,在时间效率上有了显著提升.
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
余姚市通过构建强大的城乡医疗服务卫生网,提高了市内优质医疗资源的利用率。“在县级公立医院综合改革试点指导意见中,‘提高县级医院的基本医疗服务能力、加强资源统筹上下
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
1前言本研究选用从云南省内引进和文山州农业研究院育成的小麦新品质(系)进行试验,为鉴定新育成的小麦品种(系)适宜文山州种植的高抗锈病,优产、丰产性,抗逆性好,生育期适中
三门县依托现有的数字卫生信息化平台,加强县医院与乡镇卫生院的联系,在提高乡镇卫生院诊断水平的同时,进行医疗资源整合。2011年,台州市选择了三门县作为全市公立医院改革试
随着信息化时代的来临，信息通信已成为这个时代必不可少的基础与关键，然而我国的通信发展又有怎样的历史，现有的通信技术又是如何应用，未来的通信又会怎样发展？带着这些疑问，记者采
用不同的杀菌剂复配后包衣玉米种子进行玉米种子出苗安全性及防治主要病害(玉米丝黑穗病)的田间试验并测定其对产量的影响。结果表明:在接种玉米丝黑穗病菌的地块,不同剂量种