【摘 要】
:
随着开源软件的广泛使用,在软件设计与开发实现的过程中存在的一些缺陷或不足即软件漏洞容易被恶意攻击者利用。作为软件安全的第一层检查,从源代码中尽早检测漏洞并及时修补
论文部分内容阅读
随着开源软件的广泛使用,在软件设计与开发实现的过程中存在的一些缺陷或不足即软件漏洞容易被恶意攻击者利用。作为软件安全的第一层检查,从源代码中尽早检测漏洞并及时修补可以减少软件漏洞带来的损失,然而传统的源代码审查技术在很大程度上取决于审查人员对安全问题的理解与长期经验的积累,并且在代码规模日益增大的情况下无法满足对漏洞检测的需求。基于机器学习的漏洞检测方法虽然避免了基于规则的漏洞检测方法依赖专家人工编写检测规则的问题,但是仍需要人工提取漏洞特征,而近年来深度学习技术在各领域取得的研究成果为代码漏洞检测的研究提供了新的方向。然而,现存的研究方法在源代码的中间表示形式上常常忽略了其结构信息,深度神经网络通常把代码当作自然语言文本来对其进行表示学习。针对上述问题,本文提出了基于代码属性图和图卷积神经网络的漏洞检测方法,具体工作如下:首先,通过分析源代码生成对应的代码属性图(Code Property Graph),并根据图结构边的类型提取出漏洞检测关注的图结构。进一步,我们利用程序切片技术,根据可能的漏洞关键点生成程序切片对图结构进行简化,仅保留与指定漏洞关键点相关的图结构,这样既可以减轻无关节点对漏洞检测的噪声干扰,又加快了模型的学习速度。之后我们将提取出的图结构抽象化表示为若干文件,使得后续图神经网络模型可以读取。其次将软件漏洞检测问题转换成对源代码图结构的分类问题,实现对属性信息和结构信息端对端的学习。本文在图表示学习问题上使用了图卷积神经网络模型学习图的局部和全局信息。在表示学习上,本文将其分为节点的向量表示学习和图整体的向量表示学习。节点表示学习阶段引入了代码内容作为节点属性信息以提高节点学习的质量,图整体表示学习阶段则提出了按关系类型拆分子图的算法与基于子图自注意力的READOUT(读出)模型、基于整图节点注意力机制的READOUT模型以及基于子图自注意力和节点注意力机制的READOUT模型,并进行了实验评估。实验表明本文提出的代码的图结构表示方法和对应的端到端特征学习网络可以在大数据上取得了很好的漏洞检测结果。最后,本文为便于开发人员操作,将各个模块封装起来并构建了一个图形化界面,并展示了相应的操作。
其他文献
多智能体系统(Multi-Agent Systems)是指一个网络化的系统,它由多个智能体组成,这些智能体通过局部的信息交互与协调合作来完成大规模的控制任务。一致性问题是MASs研究的核
随着计算机技术和传感技术的迅速发展,自动驾驶技术受到越来越多的关注,被认为是能有效解决环境污染、缓解交通事故和缓解交通拥堵的重要技术。越来越多的互联网企业和传统汽车企业都在进行自动驾驶车辆测试,但是自动驾驶事故频出,说明现有技术还不够完善。其中,自动驾驶车辆换道技术作为自动驾驶技术的关键问题之一,吸引了交通和汽车等相关领域学者的广泛关注。自动驾驶车辆换道研究已经取得一定成果,但是算法仍不够完善。在
可展曲面作为一类高斯曲率等于0的特殊曲面,可以无撕裂拉伸的展开于一个平面上,在飞机、轮船、汽车等工业生产及制衣制鞋、建筑业中常常涉及可展曲面构造。因其应用范围广泛,
随机混杂系统作为随机系统和混杂系统相结合而形成的一类复杂系统,已经被广泛应用于控制科学、经济、神经网络、生物科学等许多重要领域中。近年来,随机混杂系统的研究受到了国内外学者的极大关注。稳定性作为研究实际系统时首要考虑的问题,特别是系统的指数稳定性,一直是一个热点研究内容。在实际系统中,时滞、参数不确定性、随机扰动等因素对系统的稳定性有着很大的影响。因此,研究这些因素对系统稳定性的影响具有一定的理论
现在市场上锂离子电池所用负极材料基本上为石墨类碳材料,由于其理论容量(372 mAh g-1)较低的原因,使其已经不能完全满足电动车用动力电池市场现阶段的需求。因此开发锂离子电池新型高能量密度的负极材料已是迫在眉睫。Fe_3O_4是一种理论容量高(928 mAh g-1)、物理化学性能稳定、环境友好和成本低廉的过渡金属氧化物,由于其诸多的优点,而引起学术界广泛的关注和持续的研究。但是由于Fe_3O
合成孔径雷达(Synthetic aperture radar,SAR)作为一种具有高分辨率的观测手段,其目标分类技术在军事侦查和农业探测等多个领域发挥着重要的作用。然而,SAR图像相对光学图像
超密集组网(Ultra Dense Network,UDN)通过大量低功率无线节点(Access Points,APs)密集部署,成为提升5G(the Fifth Generation Mobile Communication System)频谱效率的一个
目的:观察祛湿活血方治疗痰湿瘀阻型慢性痛风性关节炎的临床疗效,并观察其对血清炎性因子(TNF-α,IL-6,IL-8)的影响,探讨中药治疗痛风性关节炎的作用机制。方法:将在广西中医药大学第一附属医院风湿病科门诊及住院部就诊且符合纳入标准的120例痛风患者,按随机数字表法分为治疗组和对照组,每组60例。对照组予非布司他片40mg qd、碳酸氢钠片1.0g tid、秋水仙碱片0.5mg bid的基础治
自2019年12月武汉爆发新冠疫情以来,涌现出无数温暖感人的亲社会行为。全国各地共派出4万人以上的医务人员驰援武汉及湖北,社会各界共募集款物超过200亿元,无数志愿者为抗击疫情贡献出自己的力量。全国人民携手度过难关。这充分体现了亲社会行为对建设和发展和谐社会的重要性。已有研究证明,看到他人道德行为会引发个体的道德亲善行为。这一过程被认为是亲社会传染。而在亲社会传染过程中,作为递进作用的一个重要机制
在现代材料科学以及生命科学领域中,透射电子显微术是一种常见的表征技术,能够提供超高空间分辨的二维或三维表征。除了传统的TEM模式和STEM模式外,近年来出现了一种新的成像