【摘 要】
：
近年来,使用软件相似性方法挖掘软件中的同源漏洞已经被证明确实有效,但现有的方法在准确率方面还存在一定不足。在原有的软件相似性方法的基础上,文中提出了一种基于约束推
【基金项目】
：
国家自然科学基金(61802433,61802435),之江实验室(2018FD0ZX01)
论文部分内容阅读
近年来,使用软件相似性方法挖掘软件中的同源漏洞已经被证明确实有效,但现有的方法在准确率方面还存在一定不足。在原有的软件相似性方法的基础上,文中提出了一种基于约束推导式的增强型相似性方法。该方法引入代码规范化和标准化处理技术以减少编译环境引起的噪声,使得同源程序在不同编译条件下的反编译代码表示尽量趋于相同;使用程序后向切片技术提取漏洞函数和漏洞补丁函数的约束推导式,通过两者约束推导式的相似性比较,过滤掉易被误判为漏洞函数的补丁函数,以减少漏洞挖掘结果中的误报。基于所提方法,实现了新的漏洞挖掘系统VulFin
其他文献
软件定义网络是一种新型的网络体系结构,其通过OpenFlow技术来实现网络控制面与数据面的分离,从而达到对网络流量的灵活控制,目前已成为下一代互联网的研究热点。随着SDN的发
在新冠肺炎疫情期间,社交媒体以前所未有的速度向全世界传播消息。然而,扭曲信息隐藏在海量社交数据中,对国家安全、社会稳定提出了前所未有的挑战。目前的干预措施大多是建
针对南东庄地区属于低缓丘陵地带、第四系覆盖严重、厚度较大等问题,提出用土壤地球化学测量进行金矿勘查工作。通过对测区的Au、Ag、Cu、Pb、Zn、W、Mo、Bi、As、Sb、Hg、Sn
克-雅病(Creutzfeldt-Jakob disease,CJD)临床上分为散发型、家族型、医源型和变异型。CJD早期临床表现为头痛、头晕、乏力、精神症状、认知功能减退,逐渐进展出现视觉障碍、
为了确定纳林河二号矿井31103工作面辅回撤通道区域是否受构造型冲击地压影响,通过对施工煤体大直径卸压钻孔诱发煤体破裂而产生的能量事件进行统计、分析,发现在特厚煤层中
为了探究微藻在贝类净化中的作用,以及净化处理对贝类风味成分的影响,本研究以球等鞭金藻作为净化贝类的食物来源,通过多元统计及判别分析,对比添加球等鞭金藻净化前后贝肉挥
针对永定庄煤业井下巷道围岩裂隙渗水严重,给井下综采作业安全造成严重影响的现状,提出了一种注浆堵漏技术方案,对注浆堵漏原理、施工方案和注浆效果等进行了分析。根据实际
为提高激光拉曼光谱技术对不同霉变程度玉米中的黄曲霉毒素B_(1)(AFB_(1))和玉米赤霉烯酮(ZEN)检测的准确率,本试验以6个不同霉变等级的玉米样品为研究对象进行拉曼光谱检测
为了查明朱庄矿Ⅲ63采区6煤层开采受底板高承压太原组含水层的威胁情况,进行了非稳定流放水试验,用多种手段求取了渗透系数,分析了水位降深变化,并研究水质特征。结果表明:采
为探究大豆发芽过程中大豆致敏原和抗营养因子脲酶活性的变化,本试验将大豆在20℃条件下发芽7 d,每天取样,利用免疫印迹法和间接竞争酶联免疫法分析大豆发芽过程中过敏原蛋白