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

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

在线咨询

联系我们

龙图腾公众号
首页 专利交易 IP管家助手 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 北京大学;北京八分量信息科技有限公司黄瑞瑶获国家专利权

北京大学;北京八分量信息科技有限公司黄瑞瑶获国家专利权

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

龙图腾网获悉北京大学;北京八分量信息科技有限公司申请的专利一种重入漏洞的检测与修复方法、系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115408689B

龙图腾网通过国家知识产权局官网在2025-07-04发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202110577018.8,技术领域涉及:G06F21/56;该发明授权一种重入漏洞的检测与修复方法、系统是由黄瑞瑶;王与琛;沈晴霓;阮安邦;吴中海设计研发完成,并于2021-05-26向国家知识产权局提交的专利申请。

一种重入漏洞的检测与修复方法、系统在说明书摘要公布了:本发明公开了一种重入漏洞的检测与修复方法、系统。本发明检测方法为:对待处理的智能合约源代码进行单重入路径检测、组合重入路径检测;其中单重入路径检测方法为:首先将该智能合约源代码进行编译并生成以太坊虚拟机字节码、应用二进制接口、源码映射、抽象语法树,然后对以太坊虚拟机字节码进行遍历,得到该智能合约源代码的执行路径并生成控制流图,遍历过程中根据重入模式映射表识别路径的重入模式;其中组合重入路径检测方法为:遍历主重入路径,将每条主重入路径与每条被重入路径两两组合,判断每一组合后路径是否满足连通性与重入漏洞读写模式,若满足则认为存在重入漏洞。本发明能够在保证合约语义不变的前提下进行漏洞修复。

本发明授权一种重入漏洞的检测与修复方法、系统在权利要求书中公布了:1.一种重入漏洞的检测方法,其步骤包括:检测修复系统对待处理的智能合约源代码首先进行单重入路径检测,然后进行组合重入路径检测;其中单重入路径检测方法为:首先将该智能合约源代码进行编译并生成以太坊虚拟机字节码、应用二进制接口、源码映射、抽象语法树AST,然后利用Z3约束求解器对以太坊虚拟机字节码进行遍历,得到该智能合约源代码的执行路径并生成控制流图,遍历过程中根据重入模式映射表识别路径的重入模式,并以路径为单位记录主重入路径模式与被重入路径模式,所述重入模式映射表中记录每一主重入模式、被重入模式对应的关键指令;每条路径遍历完成后,若路径中包含状态修改节点,则为该路径生成一个语义等价测试用例;其中组合重入路径检测方法为:首先对主重入路径模式中具有相同路径条件的路径进行去重,然后遍历主重入路径,将每条主重入路径与每条被重入路径两两组合,利用Z3约束求解器和污渍跟踪技术判断每一组合后路径是否满足连通性与重入漏洞读写模式,若满足则认为该智能合约源代码存在重入漏洞。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人北京大学;北京八分量信息科技有限公司,其通讯地址为:100871 北京市海淀区颐和园路5号北京大学;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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