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

龙图腾网恭喜浙江大学申请的专利一种基于策略型Fuzzer的智能合约漏洞检测方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115033883B 。

龙图腾网通过国家知识产权局官网在2024-09-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210455506.6，技术领域涉及：G06F21/57；该发明授权一种基于策略型Fuzzer的智能合约漏洞检测方法及系统是由钱鹏;陈建海;刘振广;卢令令;杨特;沈睿;何钦铭设计研发完成，并于2022-04-27向国家知识产权局提交的专利申请。

本一种基于策略型Fuzzer的智能合约漏洞检测方法及系统在说明书摘要公布了：本发明提出了基于策略型Fuzzer的智能合约漏洞检测方法及系统，属于区块链智能合约安全领域。该方法具体包括：设计智能合约控制流图，提取控制流执行路径；分析测试用例的可达性以及控制流执行路径的漏洞性，并构建具有标注的测试用例和执行路径的数据集，训练相应的策略模型；集成策略模型到模糊检测器中，指导模糊检测器实现效率更快、检测更精准的漏洞检测，并进一步根据策略模型决判的高优先级测试用例，优化测试用例队列，动态更新策略模型。相较于传统的智能合约漏洞检测工具，该方法提供了一种新颖的智能合约漏洞检测方案，尝试将基于深度神经网络的策略模型与模糊检测器相结合，有效地降低了传统静态分析方法的漏报率和误报率，提高了模糊检测方法的执行效率和检测准确率，展望了智能合约漏洞检测的新方向。

本发明授权一种基于策略型Fuzzer的智能合约漏洞检测方法及系统在权利要求书中公布了：1.一种基于策略型Fuzzer的智能合约漏洞检测方法，其特征在于，包括以下步骤：步骤1：构建智能合约数据集，初始化测试用例可达性策略模型F1和执行路径漏洞性策略模型F2；步骤2：给定一个待测合约，初始化测试用例集合；遍历集合中的每一个测试用例，首先利用测试用例可达性策略模型F1预测该测试用例的可达性，并将该测试用例及其预测标签存入数据库D1；针对不满足可达性的测试用例，从初始化测试用例集合中剔除；针对满足可达性的测试用例，获取由可达节点构成的执行路径，利用执行路径漏洞性策略模型F2预测该测试用例对应的执行路径的漏洞性，并将所述执行路径及其预测标签存入数据库D2；针对存在漏洞性的执行路径，为对应的测试用例给予优先级标记；步骤3：针对优化后的测试用例集合，优先选择优先级更高的测试用例进行变异和测试，直至模糊测试结束。

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