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

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

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

投诉建议

在线咨询

联系我们

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

北京大学汪澈获国家专利权

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

龙图腾网获悉北京大学申请的专利一种基于漏洞报告的智能合约漏洞自动化修复方法及系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119597326B

龙图腾网通过国家知识产权局官网在2026-02-27发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202411476604.3,技术领域涉及:G06F8/658;该发明授权一种基于漏洞报告的智能合约漏洞自动化修复方法及系统是由汪澈;张家硕;高健博;谢安明;关志;陈钟设计研发完成,并于2024-10-22向国家知识产权局提交的专利申请。

一种基于漏洞报告的智能合约漏洞自动化修复方法及系统在说明书摘要公布了:本发明公开一种基于漏洞报告的智能合约漏洞自动化修复方法及系统,属于区块链技术领域。所述方法包括:构建包含合约关键元素与漏洞代码切片的切片数据字典;对于一智能合约,基于该智能合约的漏洞描述获取结构化修复所涉及的合约关键元素,并结合所述切片数据字典,得到相关漏洞代码切片;生成所述相关漏洞代码切片的补丁代码;优化所述补丁代码,并使用优化后的补丁代码对该智能合约进行修复,得到所述智能合约的修复结果。本发明能够在源代码层面修复目前现实世界常见的逻辑漏洞、并且具备较高、较完整的修复率。

本发明授权一种基于漏洞报告的智能合约漏洞自动化修复方法及系统在权利要求书中公布了:1.一种基于漏洞报告的智能合约漏洞自动化修复方法,其特征在于,所述方法包括: 构建包含合约关键元素与漏洞代码切片的切片数据字典; 对于一智能合约,基于该智能合约的漏洞描述获取结构化修复所涉及的合约关键元素,并结合所述切片数据字典,得到相关漏洞代码切片; 生成所述相关漏洞代码切片的补丁代码; 优化所述补丁代码,并使用优化后的补丁代码对该智能合约进行修复,得到所述智能合约的修复结果; 其中,所述构建包含合约关键元素与漏洞代码切片的切片数据字典,包括: 收集包含漏洞的智能合约样本以及该智能合约样本的第三方漏洞检测报告,并获取所述智能合约样本的源代码; 对所述智能合约样本的源代码进行编译检测,得到该智能合约样本运行的编译版本和环境; 基于大语言模型对所述第三方漏洞检测报告进行实体识别,得到漏洞描述和漏洞位置信息; 基于所述漏洞描述和所述漏洞位置信息,在所述智能合约样本的源代码中筛选出所有与漏洞函数相关联的源代码,并将对应的源代码切分为函数级代码切片数据; 结合所述智能合约样本运行的编译版本和环境,对所述智能合约样本的源代码进行静态分析,并根据静态分析结果,构建所述包含漏洞的智能合约的合约关键元素依赖图; 结合函数级代码切片数据和合约关键元素依赖图,构建原始切片数据字典; 根据所述漏洞描述和所述漏洞位置信息对原始切片数据字典进行过滤,得到包含合约关键元素与漏洞代码切片的切片数据字典; 其中,生成所述相关漏洞代码切片的补丁代码,包括: 将所述相关漏洞代码切片嵌入到领域代码修复提示词模板,并结合大语言模型,得到所述相关漏洞代码切片的补丁代码;其中,所述领域代码修复提示词模板的提示词模块包括:角色扮演、任务描述、外部结构化信息和期望输出,所述外部结构化信息的内容包括:攻击过程、修复策略、代码交互结构图和代码切片; 其中,所述使用优化后的补丁代码对该智能合约进行修复,得到所述智能合约的修复结果之后,还包括: 采用漏洞检测器对所述智能合约的修复结果进行漏洞检测;其中,所述漏洞检测器包括:Slither或GPTScan; 在所述漏洞检测器在所述智能合约的修复结果中未检测到漏洞,则输出修复任务完成。

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

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

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