【摘 要】
:
软件漏洞检测是富有挑战性的问题,最近的研究趋势之一是利用深度学习在源代码上检测软件漏洞。由于深度学习的黑盒特性,人类无法理解深度学习模型为何将代码片段判定为有漏洞或无漏洞,因此探明深度学习的漏洞检测原理并实现漏洞特征的自动生成具有重要意义。为解决面向程序代码的漏洞特征自动生成问题,提出基于深度学习的漏洞检测模型解释方法。该方法在模型决策边界高度非线性且输入的样本特征之间并非相互独立的场景下,以选定
论文部分内容阅读
软件漏洞检测是富有挑战性的问题,最近的研究趋势之一是利用深度学习在源代码上检测软件漏洞。由于深度学习的黑盒特性,人类无法理解深度学习模型为何将代码片段判定为有漏洞或无漏洞,因此探明深度学习的漏洞检测原理并实现漏洞特征的自动生成具有重要意义。为解决面向程序代码的漏洞特征自动生成问题,提出基于深度学习的漏洞检测模型解释方法。该方法在模型决策边界高度非线性且输入的样本特征之间并非相互独立的场景下,以选定样本及其相似样本为导向,理解检测模型的局部决策行为。具体而言,通过启发式算法对选定样本施加扰动,识别样本内对于模型判定起关键作用的重要特征,并将重要特征按照重要程度进行排序;基于重要特征的性质对解释方法进行保真度评估;以重要特征为切入点,利用回归模型提取出可理解的有无漏洞判别规则,实现对深度学习预测结果的理解。解释方法分别针对保真度评估和提取漏洞判别规则展开实验。为评估模型解释方法的保真度,在前人提出的基于深度学习的软件漏洞检测模型上与现有其他模型解释方法进行评估比较。在模型影响保真度评估中,本解释方法的保真效果依照漏洞可能性变化指标可以达到其他现有方法的1.3倍以上,明显优于现有方法;在端到端影响保真度评估中,解释方法依照分类一致比例指标比现有方法的平均分类一致比例低24%,优于现有方法;在提取漏洞判别规则的实验中,根据规则的实际意义,能够帮助人类专家判断样本是否被漏洞检测模型漏报或误报,部分规则能够匹配商业漏洞检测工具中领域专家人为制定的漏洞判别规则。
其他文献
从武器装备的实际电磁攻防需求出发,聚焦于超材料在电磁领域的应用,简单回顾了电磁超材料的发展历程和实用化进程,着重介绍了近年来最可能产生颠覆性技术的领域——智能可重复编程超材料及基于其的智能隐身系统。基于长期对电磁隐身、新型电磁器件的研究,结合实践经验,对目前超材料隐身技术成熟度进一步提高所面临的难点进行分析,并对未来的发展做出了建议和展望。
随着信息技术的发展和计算机的普遍应用,信息化建设以势不可挡的态势席卷全球。高新技术企业作为国家发展的主导行业,在创新中求生存,而创新的驱动来源于信息的更替,加强信息化建设乃企业的当务之急。财务部作为企业的业务信息搜集、汇总和分析的部门,信息化建设更是大势所趋。目前,大多数企业都在推进财务信息化建设。由于每个企业的财务信息化现状和未来财务信息化目标的不同,导致企业在财务信息化建设过程中遇到的问题各式
<正>挤压综合征(crush syndrome, CS)是指身体肌肉丰富的部位受到严重挤压伤,在解除压迫后,出现血液和组织蛋白破坏分解、有毒中间代谢产物被吸收入血而引起的低血容量性休克、急性肾功能衰竭、高钾血症等一系列全身性并发症。挤压综合征常见于工业事故、交通事故及自然灾害中,病程进展迅速,死亡率极高[1]。
随着我国城镇化进入内涵与品质提升新阶段,大都市地区成为我国新型城镇化实践与创新探索的主战场。大都市地区小城镇作为“上接城市、下引农村”的重要节点,对疏解过度集聚在中心城区的各项产能与功能要素,有序引导大都市地区农业人口转向市民化,以及实现大都市地区公共服务的均等化等方面都起到重要的作用。武汉作为中部地区的大都市之一,常住人口已突破一千万,其大都市地区内的小城镇在大都市中心城区的集聚效应、基础设施不
“新文科”作为新时代文科发展的新态势和新模式,成为高等艺术院校专业建设的改革方向与重要依据。本文试图通过新文科所倡导的人才培养理念,围绕扬琴学科建设的创新与特色,阐述“中国乐派扬琴”课程体系建设的新思路与新见解,进一步探究中国扬琴专业教育体系化建设新范式。
目的 分析横琴粤澳深度合作区65岁以上老年人参与免费健康体检现状,以期为横琴及其他地区促进老年人参加免费体检提供参考依据。方法 于2022年3月-6月,采用整群抽样方法,以在横琴社区卫生服务中心建档的65岁以上老年人共1180人作为研究对象进行问卷调查,分析影响老年人免费健康体检的参与情况。结果 横琴65岁以上老年人参加免费健康体检的比例为92.82%。不同医保情况的老年人参加免费体检比例比较,差
跨境电商在全球蓬勃发展,传统的跨境物流形式已无法满足快速增长的电商需求,海外仓这一跨境物流新形式应市场诉求而生。与此同时,新冠疫情的广泛流行造就了新态势,给跨境物流行业带来了新的挑战与机会。本文从建设模式、政策支持和建仓分布等角度客观总结了新态势下我国跨境电商海外仓发展概况,同时也发现其现存建仓成本高、政策法规风险大、专门人才稀缺、滞销严重等问题,结合问题本文尝试提出相应的解决方案,期望为海外仓的
<正>时光如白驹过隙,我42年的工作生涯马上就要结束了。2022年是我退居二线的第三个年头,已踏入花甲之年的我坚持站好最后一班岗。回望这一年的工作时光,如电影般一幕幕在脑海里呈现。为编撰史志忙里忙外。面对时间跨度长达四十年,资料记载、储存及保管等不规范、不完整的情况,我带领人马来回穿梭在局档案室至市档案馆、市编办、市政办等单位,翻阅一本本尘封的档案、摘录一条条珍贵的信息,