【摘 要】
：
软件验证工具可以有效地验证软件的安全性,但是大多数验证工具实现的方法是不同的,能发现的安全问题也是不同的。为了能够在统一标准下去比较不同的验证工具的差异性,本文给出了基于程序结构的软件验证工具差异性比较方法。本文从程序代码结构和程序变异两个方面对软件验证工具进行差异性分析。一方面基于程序代码结构的差异性分析。使用七种典型的程序代码结构,对主流验证工具进行了分析,对比预期结果与实际验证结果的差异、程
论文部分内容阅读
软件验证工具可以有效地验证软件的安全性,但是大多数验证工具实现的方法是不同的,能发现的安全问题也是不同的。为了能够在统一标准下去比较不同的验证工具的差异性,本文给出了基于程序结构的软件验证工具差异性比较方法。本文从程序代码结构和程序变异两个方面对软件验证工具进行差异性分析。一方面基于程序代码结构的差异性分析。使用七种典型的程序代码结构,对主流验证工具进行了分析,对比预期结果与实际验证结果的差异、程序的不同安全属性给出评分。通过对20个验证工具的29,042条验证数据进行分析,评价了软件验证工具的有效性和一致性。另一方面,基于抽象语法树提出了程序变异的软件验证工具分析方法。用循环大小（LSFuzzer）变异和循环复杂度（LCFuzzer）变异两种方法来改变程序的结构,通过两种方法对软件验证工具进行差异性分析,对8个验证工具的9,437条验证数据进行分析,发现程序循环结构的变化对软件验证工具影响较大。本文给出的两种对软件验证工具的差异性分析方法,增加了程序结构及程序变异对工具性能的影响分析,相比较传统的分析方法只是根据安全属性来判断工具的有效性更加准确。
其他文献
随着通信技术的不断发展,移动流量暴涨的同时用户对网络服务的需求也变得更复杂,然而仅靠升级网络基础设施不仅需要较长的时间,还严重提高了运营成本,同时在移动网络内存在着严重的流行内容重复下载问题。因此,有必要基于“设备-设备”（Device-to-Device,D2D）通信技术将用户在线上的下载需求转为通过线下设备间的直接分享实现。此外,在用户使用D2D分享时还会形成移动社交网络,我们还可以挖掘其中具
脑部肿瘤是一种颅内局灶性症状疾病,脑肿瘤分类更是计算机视觉在医学领域中的一项应用研究。当前,基于深度学习的神经网络模型对脑部核磁共振图像进行图像分析并区分患者的肿瘤类别,在临床医学领域具有良好的应用前景。然而不同于自然图像,核磁共振图像有背景复杂和像素值低的特殊性,使得在脑肿瘤分类任务中肿瘤边界模糊和肿瘤标签有效性过低,肿瘤大小和位置不清晰,导致神经网络模型不能精确地对目标区域进行特征提取。针对上
在真实社会中,许多数据可以表现成网络的形式。例如:社交网络中人与人之间的关系可以表现为网络的形式,电商中用户和商品的行为关系可以表现为商品网络的形式。随着现代互联网的发展,海量的数据在互联网中产生,通过这些数据的内在联系将他们构建成网络数据可以充分的挖掘出其中包含的知识。在工业场景这些网络数据的具体应用场景包括:风控场景下的用户分类、电商场景中的用户对商品的购买点击的行为预测等。深度生成模型是表征
图像质量评价是指通过对图像进行相关特性分析,量化视觉失真程度,得到其质量分数的过程。无参考图像质量评价旨在不提供原始图像信息的情况下,对失真图像进行质量评价,其更接近于实际应用并且更具挑战性。通过无参考图像质量评价,可以更好地监控图像质量并进一步引导各种图像处理系统的优化。自然图像和屏幕内容图像是图像质量评价领域的重点研究对象,故本文主要围绕这两类图像来设计合适的无参考质量评估算法。由于目前基于卷
车载网络为交通管理提供了收集道路相关的信息的平台。通过车辆的信誉值来计算车辆报告的信息的可信度是解决车辆报告错误信息问题有效方法。传统的中心式信誉管理系统存在单点故障,不能适用于大量车辆场景等问题,分布式信誉管理系统存在信息不一致,分布式节点容易被攻击等缺点。基于区块链的信誉管理系统在解决上述问题的同时带来了信息更新不及时,计算资源消耗较大,存储压力增大等问题。因此如何解决这些问题是一个巨大的挑战
本文详细分析了电气控制线路的常见故障，并结合实际经验总结出了几种有效的故障诊断及维修策略，以供参考。
随着数据收集和特征提取技术的发展,数据可以由不同类型的特征描述。例如,一个人可以由人脸、指纹以及签名等不同类型的信息表示;一张图像可以由纹理、颜色以及形状等不同类型的特征表示。来源不同的特征之间既有共享信息,也有互补信息。因此,如何有效地整合多种来源的信息是多视角学习研究中的重点。然而,传统机器学习任务很大程度依赖于标签数据,但标签的获取往往费时费力。因此,如何利用无标签数据辅助完成机器学习任务同
共同关注目标估计是计算机视觉领域中近年来从视频显著性检测、人物视线交互等研究领域演变而来的课题,旨在根据场景内目标的注意力信息来估计场景内的共同关注目标。已有的共同关注目标估计方法一般将实验场景设定在室内等狭窄的空间,在算法的实际应用上存在明显的局限性。本文针对该问题,提出基于多视角相机的拍摄框架,利用多个水平视角的相机拍摄场景的局部信息来提取场景内行人的注意力信息,通过引入俯瞰视角的相机拍摄场景
随着成像设备的不断更新和深度学习的不断发展,深度学习方法近年来在医学图像处理领域取得重大进展。其中,医学图像修复任务可以在图像缺失区域生成视觉逼真的修复内容,因此广泛应用于图像去噪、手术评估和愈后评估等领域。与自然图像不同的是,医学图像的背景复杂且像素点间差异极小,因此如何充分挖掘并有效使用图像中隐含的特征信息进行图像修复是一个具有挑战性的问题。此外,医学图像实例分割是计算机辅助诊断的关键步骤之一
上下文感知推荐算法作为推荐系统研究领域最为活跃的研究方向之一,被越来越多地应用于实际生活中,对提高人们生活质量,增加人们的幸福感做出了巨大的贡献。虽然面临着许多的挑战,有很多棘手的问题等待被解决,上下文感知推荐算法距离大规模的商业化应用还有很大的距离,但良好的推荐效果让其依然具有重要的研究意义和实用价值。目前主流的上下文感知推荐算法基于因子分解机,该系列算法能够结合深度学习模型获取高阶特征交互信息