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

龙图腾网恭喜杭州电子科技大学申请的专利一种智能合约漏洞检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN117332420B 。

龙图腾网通过国家知识产权局官网在2025-04-18发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310589095.4，技术领域涉及：G06F21/57；该发明授权一种智能合约漏洞检测方法是由徐向华;王顺设计研发完成，并于2023-05-24向国家知识产权局提交的专利申请。

本一种智能合约漏洞检测方法在说明书摘要公布了：本发明公开一种智能合约漏洞检测方法，首先将智能合约作为静态处理阶段的输入，其次，模糊测试系统会通过可疑漏洞代码行逆向构建的包含数据流依赖事实的测试用例，分配到固定测试用例池中。同时，沿用优化的思想随机构建测试用例并将其分配到非固定测试用例池。最后，模糊测试系统动态执行两个测试用例池中的测试用例。对于非固定测试用例池，测试用例的优化包含交易序列优化和参数突变，并通过本发明所提出的覆盖信息全面的测试用例价值量判断公式来指导该测试用例池的优化过程。本发明有效地提升了智能合约模糊测试的测试效率，能探索到被测智能合约中更多路径，并能发现更多合约漏洞。

本发明授权一种智能合约漏洞检测方法在权利要求书中公布了：1.一种智能合约漏洞检测方法，其特征在于，包括以下步骤：静态处理阶段，将智能合约作为静态处理阶段的输入包括：通过静态手段分析智能合约中的数据依赖事实和各函数关键字节码指令数；通过在待测智能合约上运行静态分析工具，获得可疑漏洞代码行；在该阶段所产生的阶段结果用于分池阶段中不同测试用例的分配和动态执行阶段中不同用例池的执行；分池阶段，构造不同类型测试用例池，并通过可疑漏洞代码行逆向构建的包含数据流依赖事实的测试用例，分配到固定测试用例池中；同时，利用随机方式构建测试用例并分配到非固定测试用例池；动态分析阶段，模糊测试系统动态执行两个测试用例池中的测试用例，为了保障固定用例池中测试用例的长度，不对其中的测试用例进行优化，仅在动态执行过程中对该测试用例进行参数的突变；对于非固定测试用例池，测试用例的优化包含交易序列优化和参数突变，并通过所提出的覆盖信息全面的测试用例价值量判断公式来指导该测试用例池的优化过程；最后通过执行测试用例获取字节码序列相关信息并进行分析来确定漏洞是否存在。

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