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

龙图腾网获悉浙江大学申请的专利基于不变式验证的智能合约功能性漏洞检测方法和系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119004476B 。

龙图腾网通过国家知识产权局官网在2025-09-30发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411040280.9，技术领域涉及：G06F21/57；该发明授权基于不变式验证的智能合约功能性漏洞检测方法和系统是由纪守领;林型双;赵彬彬;巫英才;邓水光;孙斌;伍一鸣;李振源设计研发完成，并于2024-07-31向国家知识产权局提交的专利申请。

本基于不变式验证的智能合约功能性漏洞检测方法和系统在说明书摘要公布了：本发明提出了一种基于不变式验证的智能合约功能性漏洞检测方法和系统，方法包括：定义拟检测的智能合约功能性漏洞类别；输入拟检测的智能合约源代码文件并预处理；使用大语言模型预分析潜在漏洞及其漏洞类型；使用大语言模型检测存在潜在漏洞的函数代码中的关键变量或关键语句，将采用这些关键变量和关键语句生成不变式检查器，并将检查器插入至智能合约源代码中；基于动态模糊测试原理，建立针对不变式检查器的验证模型；使用验证模型对插入了不变式检查器的源代码进验证，输出检测结果。本发明实现了对智能合约进行高效地自动化分析，解决了智能合约代码中逻辑关系分析难度大的技术挑战，提升了智能合约功能性漏洞检测的效率。

本发明授权基于不变式验证的智能合约功能性漏洞检测方法和系统在权利要求书中公布了：1.一种基于不变式验证的智能合约功能性漏洞检测方法，其特征在于，包括以下步骤： S1：定义拟检测的智能合约功能性漏洞类型； S2：输入要分析的智能合约源代码，并预处理为多个智能合约核心函数代码； S3：根据拟检测的智能合约功能性漏洞类型，使用大语言模型预分析各智能合约核心函数代码的潜在漏洞及其漏洞类型，所述预分析具体是使用多轮问询策略引导大语言模型对各个智能合约核心函数代码逐个进行分析，判断代码中是否存在拟检测的智能合约功能性漏洞类型；所述多轮问询包括以下三轮： 第一轮是定义大语言模型即将执行智能合约代码的阅读、理解、审计和安全分析工作； 第二轮是向大语言模型输入需要分析的智能合约核心函数代码，向大语言模型发布问询指令，所述问询指令引导大语言模型分析本段代码的含义和涵盖的具体业务并输出； 第三轮是向大语言模型输入需要分析的智能合约核心函数代码和第二轮问询中大语言模型所回复的信息，向大语言模型发布问询指令，所述问询指令基于步骤S1中定义的拟检测的智能合约功能性漏洞类型设计得到，包括令大语言模型分析本段代码中的潜在漏洞及潜在漏洞类型并输出，所述潜在漏洞类型为拟检测的智能合约功能性漏洞类型中的一种或多种； S4：使用大语言模型存在潜在漏洞的核心函数代码进行检测，得到其中的关键变量或关键语句，根据潜在漏洞的漏洞类型选择不变式检查器模版，将所述关键变量或关键语句填充进不变式检查器模版，生成不变式检查器，并将不变式检查器插入至智能合约源代码中； S5：建立针对不变式检查器的验证模型，使用验证模型对插入了不变式检查器的智能合约源代码进行分析并验证智能合约源代码中预分析的潜在漏洞是否存在，若是则输出该潜在漏洞及其漏洞类型作为功能性漏洞检测结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江大学，其通讯地址为：310058 浙江省杭州市西湖区余杭塘路866号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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