【摘 要】
:
源代码漏洞检测是网络空间安全领域一项重要的研究内容。现有的软件源码漏洞检测技术仍存在一些问题。基于传统方法的检测技术依赖于人工经验和专家知识对漏洞特征进行建模,复杂程度高,效率低;在基于深度学习的检测技术中,虽无需人工对漏洞特征建模,但程序源代码建模和神经网络模型构建仍存在一些亟需解决的问题。因此,研究深度学习与源代码漏洞检测相结合的检测方法,实现对程序源码高效的漏洞检测,对提高自主研发软件的安全
论文部分内容阅读
源代码漏洞检测是网络空间安全领域一项重要的研究内容。现有的软件源码漏洞检测技术仍存在一些问题。基于传统方法的检测技术依赖于人工经验和专家知识对漏洞特征进行建模,复杂程度高,效率低;在基于深度学习的检测技术中,虽无需人工对漏洞特征建模,但程序源代码建模和神经网络模型构建仍存在一些亟需解决的问题。因此,研究深度学习与源代码漏洞检测相结合的检测方法,实现对程序源码高效的漏洞检测,对提高自主研发软件的安全质量,维护网络空间安全具有重要意义。论文围绕基于深度学习的软件源码漏洞检测技术展开研究。首先,本文结合源代码漏洞检测的相关原理,针对目前基于深度学习的源代码漏洞检测方法中存在的基本问题进行研究,提出了一种基于神经网络的源代码漏洞检测框架,并对框架中的关键方法进行研究分析。其次,针对与漏洞检测紧密相关的数据处理函数,本文利用神经网络提出了一种数据处理函数的自动识别方法。根据提出的基于神经网络的源代码漏洞检测框架,本文提出了基于CNN-GAP的源代码漏洞检测方法,在实现对漏洞函数识别的基础上,能对判别结果进行可视化输出。本文主要工作和创新点如下:(1)提出了一种基于神经网络的源代码漏洞检测框架。论文针对现有源代码漏洞检测方法的局限性,提出了一种利用神经网络进行软件源码漏洞检测的框架。首先对源代码漏洞检测相关概念进行论述,然后针对目前方法的局限性,提出了基于神经网络的源代码漏洞检测框架,并对框架中的关键方法进行研究分析,提出了基于token序列和One-hot向量映射的程序建模方法以及能够进行可解释输出的神经网络模型构建方法。(2)提出了一种基于神经网络的数据处理函数的自动识别方法。论文首先研究分析了数据处理函数对漏洞检测的重要性,针对当前缺乏自动化对数据处理函数的识别方法,提出了基于神经网络的自动识别方法。首先从开源程序中收集了大量数据处理函数作为数据集,然后根据提出的程序建模方法将数据处理函数转换成向量,最后基于卷积神经网络构建分类器,实现对数据函数和非数据处理函数的分类。论文通过实验来对分类效果进行评估,通过在真实软件7zip、FFmpeg、Jpeg和CGC程序上进行实验,验证了其有效性。(3)提出了一种基于CNN-GAP的源代码漏洞检测方法。论文以提出的基于神经网络的漏洞检测框架为基础,以CWE-119类型的漏洞为检测对象,提出了基于CNN-GAP的源代码漏洞检测方法。首先将程序源代码以token序列的形式转换成向量,然后构建以CNN-GAP即卷积神经网络加Global Average Pooling层的网络模型,来实现对CWE-119类型的漏洞函数进行检测,并在最后输出结果的可视化形式。论文通过与Russell提出的模型和李珍提出的模型Vuldeepecker进行对比实验,验证了其有效性。
其他文献
狮纹在中国的发展有其独特的作用和含义,来自异域的狮子题材在丝绸之路中往复传递并逐渐产生变异,在向华夏文明圈传播的过程中慢慢向中原本土转化。受不同时期的社会背景与受众需求影响而有着不同的象征意义,其内在的蕴含不断变化。论文以北朝至元代丝织品中的狮纹为研究对象,以同时期金银器、石刻、绘画、壁画等其他艺术形式上的狮子形象为辅。研究内容如下:论文首先从墓葬出土实物、博物馆的部分馆藏实物和私人所藏狮纹丝织品
为了进一步改善拉萨市墨竹工卡县扎雪乡格老窝村青稞品种单一、品种严重退化等问题,加快推进新品种示范进度,结合当地实际情况及需求,特选取拉萨市农业技术推广总站育种的青稞新品种“苏拉青2号”与当地品种“白青稞”,于2021年在墨竹工卡县扎雪乡格老窝村开展了品比试验,挖掘新品种的丰产适应性及潜力。试验结果表明,“苏拉青2号”新品种广适性高、丰产性好,适合在该区域推广种植。
伴随着互联网数据的爆炸式增长,如何存储、管理、应用这些杂乱的非结构化数据,已成为人工智能领域的热门课题。知识图谱把杂乱数据中的概念、实体及其关系整理成结构化数据,并存储到图结构中,转化为人类认识世界的形式,利于管理、搜索、分析以及应用海量数据。实体关系抽取作为知识图谱构建任务的重要步骤,主要任务是把非结构化文本转化为结构化知识,直接影响着知识图谱的质量。同时,实体关系抽取还是搜索引擎、人机对话、智
随着针织服装在服装生产销售总量中的占比不断提升,消费者对针织服装的设计感和时尚性的要求不断提高。作为影响针织服装整体视觉效果和风格的重要设计要素之一,针织服装的色彩愈发变化多样。由于针织服装色彩一般主要来源于染色纱线的色彩及其在织物、服装中的搭配使用。随着市场对针织服装生产周期以及对流行趋势的反应速度提出的更高要求,电子纱卡和虚拟展示的逐渐推广,准确挑选符合设计色彩需求的纱线,并在设计与开发中保持
民国至新中国成立之初的这一批留法艺术家在中西艺术史上有着举足轻重的地位,他们大多选择在巴黎高等美术学院与蒙帕纳斯区的大茅屋画室进行学习,并且以油画、素描、雕塑为主要的研究科目,留法艺术家们既接受了西方古典主义、现实主义、写实主义美术的教育,也将西方现代主义的诸多艺术思潮传回中国,奠基与开拓了中国现代艺术的发展并产生了深远的影响。吴冠中、朱德群、赵无极这三位有着相近求艺经历的艺术家是这一群体的代表,
尽管新媒体的发展已对电视媒体产生了强烈冲击,然而,电视媒体迄今为止仍然是我国社会的主流媒体,在信息的传递、共识的凝聚、观念的塑造、文化的传承等方面体现出无法取代的引领性与权威性。本文通过对电视文化视域下传统文化传播现状进行研究后认为,以传统文化为母题的电视文艺节目,其内在表征已不再囿于“物”的局限,真正开始步入深层次的“感知”,由对物态文化层的表达步入心态文化层的表达,也即由对传统文化视觉形象的直
红外成像系统相对于可见光成像系统而言,具备探测距离远、造价成本较低、全天时工作的优点,红外目标检测技术被广泛的应用在夜间监控和军事领域中。在远距离情况下,红外图像中的目标特征弱、颜色缺失,因此,红外远距离目标检测极具挑战性。近些年来,基于深度学习的光学目标检测算法取得了广泛的研究和应用,但是目前基于深度学习的红外小目标检测算法仍然在一些方面存在缺陷,因此,本文针对红外小目标的特点分别设计了基于深度
气动优化设计是航空航天飞行器设计等应用的重要组成部分,随着飞行器产业的发展和应对复杂现实环境需求的提升,气动优化往往涉及许多相互交织影响的因素,容易导致设计优化空间“爆炸”。全阶的计算流体力学(CFD)方法虽然能够针对特定流动状态进行高精度的模拟,但往往耗时较长难以进行全面的设计空间探索。基于传统机器学习方法的优化技术在构建代理模型、降阶模型等方面有广泛的应用,但这类方法多适用于简单气动优化问题,
图像的深度信息在自动驾驶、3维重建、自主导航等领域中起着至关重要的作用。立体匹配(即RGB双目深度估计)技术能够利用不同视点的平面图像间接地恢复场景的深度信息。这种方式简单高效且成本低廉。近年来,随着神经网络在计算机视觉的广泛应用,基于神经网络的立体匹配方法在精度上取得了重大突破,受到了研究人员的广泛关注。作为非接触测距的重要手段,传统立体匹配方法(互信息、Census变换、SGM算法等)在精度上
黎锦,也被称作黎族文化的“活化石”,见证了黎族千年历史,因其丰富的纹样类型闻名于世。而黎锦蛙纹作为黎锦纹样中非常重要的品类,蕴含了丰富的文化内涵。本文通过文献查阅法、二手资料归纳法、实地调研法、采访访谈法,着重研究黎锦蛙纹的创新应用。第一二章节从黎族蛙纹的起源与发展入笔,分析黎锦蛙纹形成的历史、自然以及宗教因素。对黎锦蛙纹目前的主流分类情况作说明与阐述。后着重描述黎锦蛙纹的形式特点,从纹样构成的角