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

龙图腾网获悉武汉大学申请的专利一种基于可变异快照的智能合约漏洞自动检测方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119494101B 。

龙图腾网通过国家知识产权局官网在2025-09-09发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411437948.3，技术领域涉及：G06F21/57；该发明授权一种基于可变异快照的智能合约漏洞自动检测方法及系统是由陈晶;梁瑞超;吴聪;曹若辰;杜瑞颖;熊翘楚设计研发完成，并于2024-10-15向国家知识产权局提交的专利申请。

本一种基于可变异快照的智能合约漏洞自动检测方法及系统在说明书摘要公布了：本发明公开了一种基于可变异快照的智能合约漏洞自动检测方法及系统，首先对目标合约进行编译，生成字节码，并将字节码与快照和交易一起传递到插桩处理的以太坊虚拟机EVM中；然后通过符号污点分析收集合约状态和区块链环境中的变异约束条件，并在执行分支处设置快照检查点；接着针对每个快照检查点，对合约执行状态和区块链环境进行变异，生成新的变异快照；将变异快照用于启动分叉进程，在不同的执行上下文中对合约进行测试；最后基于预定义的模糊测试判定方法，对主进程和分叉进程的执行轨迹进行分析，识别和报告潜在的合约漏洞。本发明采用定向测试，结合静态分析与模糊测试，实现了对于智能合约漏洞的快速准确检测。

本发明授权一种基于可变异快照的智能合约漏洞自动检测方法及系统在权利要求书中公布了：1.一种基于可变异快照的智能合约漏洞自动检测方法，其特征在于，包括以下步骤： 步骤1：对目标合约进行编译，生成字节码，并将字节码与快照和交易一起传递到插桩处理的以太坊虚拟机EVM中； 步骤2：通过符号污点分析收集合约状态和区块链环境中的变异约束条件，并在执行分支处设置快照检查点； 步骤3：针对每个快照检查点，对合约执行状态和区块链环境进行变异，生成新的变异快照；将变异快照用于启动分叉进程，在不同的执行上下文中对合约进行测试； 步骤4：基于预定义的模糊测试判定方法，对主进程和分叉进程的执行轨迹进行分析，识别和报告潜在的合约漏洞； 步骤5：反馈信息回馈给种子库和快照库，优化模糊测试循环； 具体实现包括以下在步骤： 步骤5.1：初始化种子语料库和快照语料库； 初始化种子语料库，包含单个事务的种子，其中包含编码后的函数选择器、函数参数和调用值；初始化快照语料库，包括本地部署的区块链环境和合约的初始状态；种子通过编译智能合约获取ABI，生成函数选择器，并随机选择有效的函数参数和调用值；快照则存储合约的初始状态，并在执行过程中根据需要进行更新； 步骤5.2：种子语料库和快照语料库更新； 种子语料库通过遗传算法进行更新，包括选择、交叉和突变；根据以太坊虚拟机执行的覆盖反馈和数据依赖性计算种子的适应度分数Fitness； 种子的选择，概率P高的种子被优先选择用于交叉和突变； ； 其中，n是模糊测试生成中的所有种子；在交叉操作中，选择两个种子作为父代，分裂其函数参数和调用值，交换这些组件生成两个新后代；在后代中，函数参数以一定概率进行突变；通过污点分析，维护一个突变池，收集在分支谓词中遇到的值；参数随机突变或从突变池中选择值进行突变； 快照语料库的更新，来自主执行生成的新快照，只有经过验证的快照才会被添加到语料库中； 步骤5.3：种子和快照的调度； 使用遗传算法进行模糊测试，每一代开始时，从种子语料库中随机选择事务进行测试，同时按保存顺序选择快照；快照在主执行修改状态或区块链环境后被添加到语料库中，并在下一次执行中使用； 步骤5.4：测试预言机； 通过分析主执行和分叉执行的执行轨迹，利用预定义的测试预言机检测潜在漏洞。

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

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