Document
拖动滑块完成拼图
个人中心

预订订单
商城订单
发布专利 发布成果 人才入驻 发布商标 发布需求

请提出您的宝贵建议,有机会获取IP积分或其他奖励

投诉建议

在线咨询

联系我们

龙图腾公众号
专利交易 商标交易 积分商城 国际服务 IP管家助手 科技果 科技人才 会员权益 需求市场 关于龙图腾 更多
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 西安交通大学徐茜获国家专利权

西安交通大学徐茜获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉西安交通大学申请的专利基于关键基本块的补丁存在检测方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115168855B

龙图腾网通过国家知识产权局官网在2026-03-20发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210904191.9,技术领域涉及:G06F21/56;该发明授权基于关键基本块的补丁存在检测方法是由徐茜;闫峥;郑庆华;贾昂;周朝晖;范铭;刘烃设计研发完成,并于2022-07-28向国家知识产权局提交的专利申请。

基于关键基本块的补丁存在检测方法在说明书摘要公布了:本发明公开一种基于关键基本块的补丁存在检测方法,首先将漏洞函数,补丁函数以及需要检测的目标函数的语义建模为函数静态控制流图,并进行必要的预处理,以最大限度地减少编译混淆造成的影响;然后提出了一种基本块匹配算法,分别对漏洞函数,补丁函数,目标函数两两之间进行基本块匹配,生成匹配基本块对集合;然后分析与补丁有关的特征基本块的变化程度,选择排名前N位的特征基本块作为有效的补丁存在性测试的关键基本块;最后,在目标函数中分别搜索补丁函数和漏洞函数的关键基本块,判断该目标函数是否更相似于补丁函数,即漏洞是否已经被修补。通过以上方法,可以快速准确地判断大规模的待检测函数中的漏洞是否已经被修补。

本发明授权基于关键基本块的补丁存在检测方法在权利要求书中公布了:1.基于关键基本块的补丁存在检测方法,其特征在于,包括如下步骤: 步骤S101:基于反汇编技术,对漏洞函数VF,VF对应的补丁函数PF,及待检测函数TF对应的可执行二进制文件进行反汇编,获得函数的静态信息,构建函数静态控制流图CFGV,CFGP,CFGT,并对函数静态控制流图CFGV,CFGP,CFGT,进行预处理; 步骤S102:分别对静态控制流图CFGP和CFGV,CFGP和CFGT,CFGV和CFGT进行基本块匹配,生成匹配基本块对集合BBPV,BBPT,和BBVT;具体步骤如下: 步骤S301:对CFGP和CFGV内的四类特殊基本块进行标注: 1入口基本块:该基本块是函数开始执行的起始基本块; 2出口基本块:该基本块是函数结束执行的终止基本块; 3字符串引用基本块:该基本块内的指令序列包含至少一条含有字符串引用的指令; 4函数调用基本块:该基本块内的指令序列包含至少一条函数调用指令的指令; 步骤S302:比较CFGP和CFGV内的特殊基本块,根据匹配基本块的定义,识别出匹配基本块对,构建初始匹配基本块集合BBPV; 步骤S303:对于CFGP内的剩余基本块,统计每个基本块已匹配的基本块邻居的数量,基本块邻居包括前驱基本块和后继基本块,并根据该数量,对剩余基本块进行排序,选取匹配邻居数量最多的基本块bbP; 步骤S304:对于bbP的每一个前驱基本块bbA,如果bbA在VF内存在匹配基本块bba,则将bba未匹配的后继基本块加入集合C1;对于bbP的每一个后继基本块bbC,如果bbC在VF内存在匹配基本块bbc,则将bbc未匹配的前驱基本块加入集合C2;如果C1和C2都不为空,则将C1和C2的交集分配给bbP的候选匹配基本块集合C;否则,则将C1和C2的并集分配给C;在C内,搜索唯一与bbP相匹配的基本块bbV,若存在,将bbP,bbV加入BBPV; 步骤S306:判断CFGP和CFGV内所有匹配基本块对都已经被发现,若是,结束匹配,得到CFGP和CFGV的匹配基本块对集合BBPV;若不是,转到步骤S302; 步骤S307:重复步骤S301-步骤S306,分别对CFGP和CFGT,以及CFGV和CFGT进行基本块匹配,得到匹配基本块对集合BBPT,BBVT; 通过以上步骤,完成CFGP和CFGV,CFGP和CFGT,以及CFGV和CFGT的匹配基本块对搜索; 步骤S103:基于匹配基本块对集合BBPV,确定补丁函数PF和漏洞函数VF的特征基本块集合CBBP和CBBV; 步骤S104:计算CBBP和CBBV内每一个特征基本块的改变度;选取改变度排名前N位的特征基本块生成PF和VF的关键基本块集合KBBP和KBBV; 步骤S105:基于关键基本块集合KBBP和KBBV,分别计算函数TF和PF,VF的相似度SIMTP以及SIMTV; 步骤S106:基于SIMTP和SIMTV,对函数TF的漏洞是否已经被修复进行判断,如果SIMTPSIMTV,则TF的漏洞已经被修复;否则,TF的漏洞未被修复; 步骤S107:输出检测结果。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人西安交通大学,其通讯地址为:710049 陕西省西安市咸宁西路28号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。