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

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

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

本基于混合模糊测试优化的智能合约漏洞检测方法、系统在说明书摘要公布了：本发明涉及网络安全、漏洞检测技术领域，具体为一种基于混合模糊测试优化的智能合约漏洞检测方法、系统，对编译后EVM字节码进行静态分析生成第一测试用例集，进行模糊测试，同时引入污点分析跟踪污点在指令流中的传播。在模糊测试过程中根据执行次数阈值内指令计数集的长度变化，在长度变化值为0时触发符号执行处理，在符号执行处理过程中，采取约束缓存重用策略对获取的约束表达式进行求解，并对求解结果进行缓存和重用，使得符号执行能够快速生成到达复杂分支的用例值，并反馈至模糊引擎以辅助其探索到新路径捕捉更多深层次的漏洞；同时对权限控制、交易顺序依赖、拒绝服务三种智能合约漏洞设计测试预言，漏洞检测更为准确。

本发明授权基于混合模糊测试优化的智能合约漏洞检测方法、系统在权利要求书中公布了：1.一种基于混合模糊测试优化的智能合约漏洞检测方法，其特征在于，包括以下步骤： S1、获取智能合约的源代码，将其编译后获得EVM字节码，对所述EVM字节码进行静态分析，基于字节码中函数之间的读写依赖关系和函数所对应的源代码，获得ABI接口参数类型和函数调用序列； S2、基于ABI接口参数类型和函数调用序列，生成第一测试用例集，基于第一测试用例集对EVM字节码进行模糊测试，获得每个测试用例在指令执行时覆盖的所有指令数，构建指令计数集；根据设定的执行次数阈值内指令计数集的长度变化，在长度变化值为0时进行符号执行处理， 所述符号执行处理操作具体为：将指令计数集长度变化值为0时的分支设置为目标分支点，仅获取指令执行至目标分支点时每条执行路径上所有分支约束的算数指令和逻辑指令，将其进行符号化处理转化为约束表达式，收集约束表达式构建路径约束集； 对约束表达式取反操作后进行约束求解，在所述约束求解中对约束表达式和其求解结果进行缓存重用，获得满足目标分支点所在分支约束条件的特定输入值，将特定输入值作为新的测试用例更新至第一测试用例集中，获得第二测试用例集，循环执行S2，扩充第二测试用例集，直至达到设定的时间，终止循环，执行S3； S3、对不同智能合约漏洞设置不同测试预言，所述智能合约漏洞包括权限控制、交易顺序依赖、拒绝服务智能合约漏洞；基于测试预言，使用第二测试用例集结合污点分析进行智能合约漏洞检测，获得漏洞检测结果。

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

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