【摘 要】
:
为了提高CPU的利用率和软件的交互性能,软件开发人员大量使用多线程编程。但是多线程程序容易受到并发性漏洞的困扰,因而大量的研究开始关注于如何检测程序的并发性漏洞。随着并发性漏洞检测技术和工具的发展,该方向的研究人员开始面临一个关键问题,缺少足够多的真实的并发性漏洞使得研究人员难以评估和验证这些技术和工具,无法精确衡量它们的漏报率和误报率等指标。数据竞争在并发性漏洞中占比最高也最难检测。本文主要针对
论文部分内容阅读
为了提高CPU的利用率和软件的交互性能,软件开发人员大量使用多线程编程。但是多线程程序容易受到并发性漏洞的困扰,因而大量的研究开始关注于如何检测程序的并发性漏洞。随着并发性漏洞检测技术和工具的发展,该方向的研究人员开始面临一个关键问题,缺少足够多的真实的并发性漏洞使得研究人员难以评估和验证这些技术和工具,无法精确衡量它们的漏报率和误报率等指标。数据竞争在并发性漏洞中占比最高也最难检测。本文主要针对数据竞争型漏洞,提出了一种并发型漏洞注入方式并实现了一款并发型漏洞注入工具DRInject。DRInject通过构造两个线程对同一个全局变量的并发访问来注入数据竞争型漏洞。DRInject既保证了注入的数据竞争的深度,又保证了注入的每个数据竞争漏洞都可以由真实的输入触发。本文向10个开源程序中注入了 600多个数据竞争,这些程序包括water-nsquared,x264和libvips等。此外,本文还利用这些包含数据竞争漏洞的程序评估了 4个数据竞争检测工具并且发现这些工具还有很大提升空间和需要改进的地方。实验表明,DRInject能够向代码规模较大的程序中注入数据竞争型漏洞,用来评估数据竞争检测工具的一些基本指标例如漏报率和误报率等。因此,DRInject能够为数据竞争型漏洞的研究与检测生成充分的语料库。
其他文献
随着经济社会的不断发展,企业社会责任活动越来越受到大众的关注,企业管理者也越来越重视企业社会责任的履行及披露。而在学术界,关于社会责任的研究逐渐丰富,不少学者对企业社会责任与融资成本、企业绩效等方面的关系进行深入研究。从目前研究现状来看,有部分学者把研究目光放在了企业社会责任及股价崩盘风险的关系上,但相关研究结论不一,也尚未出现考察其他因素的调节效应的研究。从现实来看,企业社会责任会对其股价崩盘风
全面深化改革的总目标就是要实现国家治理体系和治理能力的现代化。兵员动员是国家经常性的政治工作,这种基层政治工作所反映的行政方法和理念对于新时代中国实现治理体系和能力现代化具有的重要意义。探讨国民政府在四川的抗战兵员动员,分析其产生逆动员的表现及根源。能够吸取国民党开展基层工作的教训,并对今天兵员动员理论工作和实践工作以深刻的启示。界定和构建兵员动员与逆动员的相关理论,剖析抗战时期国民政府开展兵员动
蜀道是人类社会最早开通并保存至今的大型交通遗存之一,作为重要的线性文化遗产,已经被列入中国世界遗产预备名单,且成为四川省重点打造的文旅品牌之一。研究四川大蜀道旅游资源的空间分异与开发对于实现大蜀道差异化发展、蜀道遗产的保护、优化旅游空间布局和改善地区经济结构,制定针对性强、行之有效的优化策略具有较强的实践指导意义。本文以四川省大蜀道沿线22个区县的427个旅游资源点为研究对象,在运用旅游空间结构理
在这个互联网飞速发展的时代,同时也是数据大爆炸的时代,互联网企业可以使用一些相关技术从各种途径去收集企业业务运营过程中的各种数据,通过对这些数据进行有效分析,一方面可以用来获取企业的业务运营状况;另一方面为企业下一步战略决策、业务调整提供指导意义。使企业做到更好的线上化运营,这些数据作为企业的核心资产,是提升企业核心竞争力的关键。但是如何对浩瀚如海的数据进行快速科学的处理,从海量的数据中获取对企业
探索广阔的海洋世界,海洋工程装备是不可或缺的条件,并且其重要性在《中国制造2025》已经说明,表示开发海洋能够极大促进国家的经济发展,并且从另一方面也展示了我国开发海洋的决心与实力。无论是载人潜水器还是无人潜水器,他们都有一个极为重要的组成部件,那就是耐压壳。但现役耐压壳有着结构不合理、加工难度大、缺陷敏感性高等缺点,波纹柱形耐压壳则表现出惊人的抗压特性。且其抗压性是与其对应模型的材料参数、几何参
随着新型IP数据业务迅速发展,人们对光纤带宽的要求越来越高。20世纪80年代以来,光网络已朝着大容量、智能化、IP化3个方向不断发展并取得了显著的成就。然而由于当前IP业务本身的不确定性和不可预见性,通信服务提供商需要根据客户的不同需求提供不同质量的服务,即他们在不断地升级网络来支持新型高速业务的同时也得保障原有低速业务的正常运行。因此未来的光网络需要对网络带宽进行动态分配,从而灵活提供不同质量类
随着高性能计算以及云计算的蓬勃发展,高性能集群资源支撑着制造业、航天、教育、石油等科研领域的越来越复杂的产品设计,为各领域的快速发展奠定了坚实的基础,所以高性能计算受到仿真设计科研人员的青睐。在教育领域,高校学生和老师做仿真设计实验时,以传统方式使用集群资源是非常耗时的,运维人员管理集群也很不方便。现今将集群资源的使用和管理统一在一个平台上,方便管理员管理,简化学生和老师使用集群资源的步骤,在用户
伴随着与日俱增的城市交通压力,石家庄也在不断加快规划和建设城市轨道交通的步伐,其中轨道交通2号线将在2020年开通运营。目前国内城市轨道交通线路在运营中普遍亏损,而票务收入是其主要收入,因此,为2号线制定科学的票价方案,对促进其高质量发展具有积极意义。论文首先总结和分析了城市轨道交通票价制定的基础理论,包括定价原则、常用票制及影响因素,并对现有定价方法依据侧重点的差异进行比较和分类,分析了各定价方
自古以来,我国一直是一个农业大国,农村劳动力所占比重较大,随着劳动生产率的极大提升,大量劳动力从土地中解放,农村地区劳动力的规模远超从事农业劳动的实际需求,所以如何切
水体中重金属污染已成为当前全球性环境问题,其深度处理是实现水质安全控制的重要保障。本论文针对重金属深度净化领域内粉末态氧化锰工程应用时存在的固液分离困难、压头损失大等技术瓶颈,选择具有特殊孔结构的大孔生物炭为载体,采用“前驱体植入-原位沉淀技术”成功研制了大孔生物炭-氧化锰复合吸附剂,系统研究了其对水中典型离子型污染物Cu(Ⅱ)、Sb(Ⅲ)的基本吸附性能,并揭示了潜在吸附机制;并在此基础上,初步评