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

龙图腾网恭喜烟台大学申请的专利一种基于灰盒模糊测试的智能合约漏洞检测方法、系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119475360B 。

龙图腾网通过国家知识产权局官网在2025-03-18发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510051775.X，技术领域涉及：G06F21/57；该发明授权一种基于灰盒模糊测试的智能合约漏洞检测方法、系统是由赵相福;苟乃翔;何龙;王世纪;杨佳慧;张菡峰设计研发完成，并于2025-01-14向国家知识产权局提交的专利申请。

本一种基于灰盒模糊测试的智能合约漏洞检测方法、系统在说明书摘要公布了：本发明属于智能合约漏洞检测技术领域，具体涉及一种基于灰盒模糊测试的智能合约漏洞检测方法、系统，首先分析控制流图来获取函数状态变量等关键信息；其次是初始化交易序列，以生成有意义的初始交易序列；接着是前瞻分析下的分支分析和能量分配，优先考虑易受攻击的分支；最后是基于数据流的模糊测试，结合随机突变和基于条件分支的变异生成测试用例，利用数据流反馈机制生成有意义测试用例，作为目标测试用例。通过综合利用基于前瞻分析的分支分析和能量分配及基于数据流的反馈，显著提高了智能合约漏洞检测的效率和准确性，能够更好地处理复杂的合约逻辑，发现深层次的漏洞，同时提高分支覆盖率。

本发明授权一种基于灰盒模糊测试的智能合约漏洞检测方法、系统在权利要求书中公布了：1.一种基于灰盒模糊测试的智能合约漏洞检测方法，其特征在于，包括以下步骤：S1：根据待检测智能合约的字节码，构建控制流图；对字节码进行抽象解释，得到已识别的函数、函数定义的状态变量、函数使用的状态变量、以及构造函数的检查函数；基于控制流图，根据已识别的函数、函数定义的状态变量、函数使用的状态变量、以及构造函数，得到函数调用链；S2：基于函数调用链，确定函数间调用顺序，得到生成序列，根据数据流获取检查生成序列后，得到函数调用序列；确定函数调用序列的函数参数，得到初始交易序列；S3：基于初始交易序列的执行路径，确定前缀子路径，根据前缀子路径确定分支，若分支包含预设易受攻击指令，则将该分支记为漏洞分支；遍历执行路径，得到漏洞分支集合；根据能量分配规则，对漏洞分支集合的漏洞分支进行能量分配，得到目标漏洞分支；S4：基于目标漏洞分支的初始交易序列，进行随机突变或基于条件分支的变异，得到测试用例；将指令地址作为节点，键作为状态变量，捕获测试用例的动态数据流；基于捕获的动态数据流，若测试用例显示出之前未检测到的数据流或覆盖未访问过的分支时，则将该测试用例记为目标测试用例；根据目标测试用例检测漏洞。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人烟台大学，其通讯地址为：264005 山东省烟台市莱山区清泉路30号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。