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

龙图腾网获悉华中科技大学申请的专利以太坊智能合约细粒度分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119201273B 。

龙图腾网通过国家知识产权局官网在2025-09-16发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411265849.1，技术领域涉及：G06F9/445；该发明授权以太坊智能合约细粒度分析方法是由王浩宇;孙天乐;董枫;王美珍设计研发完成，并于2024-09-10向国家知识产权局提交的专利申请。

本以太坊智能合约细粒度分析方法在说明书摘要公布了：本发明公开了以太坊智能合约细粒度分析方法，本发明涉及智能合约分析工具技术领域，包括：转换EVM合约字节码：利用Gigahorse框架将以太坊智能合约字节码转换为高级中间表示；构建控制流图：基于Gigahorse生成的高级中间表示，使用反向传播技术构建详细的控制流图；模拟EVM内存操作：通过模拟以太坊虚拟机的内存操作，精确识别和追踪内存中的变量。本发明实现了对以太坊智能合约的全面细粒度分析，这种方法的优势在于它能够直接处理字节码，无需源代码，因此可以应用于各种场景，包括已部署的合约和闭源合约。通过结合高级中间表示、控制流分析、内存操作模拟和符号执行，本方法能够深入理解合约的行为和潜在风险。

本发明授权以太坊智能合约细粒度分析方法在权利要求书中公布了：1.以太坊智能合约细粒度分析方法，其特征在于，包括： 转换EVM合约字节码：利用Gigahorse框架将以太坊智能合约字节码转换为高级中间表示； 构建控制流图：基于Gigahorse生成的高级中间表示，使用反向传播技术构建详细的控制流图； 模拟EVM内存操作：通过模拟以太坊虚拟机的内存操作，精确识别和追踪内存中的变量； 符号执行分析：最后一步使用符号执行技术，推导出所有成功执行路径的条件； 细粒度分析报告：通过符号执行收集到的所有信息，生成一个细粒度分析报告，列出所有成功执行路径及其对应的输入条件，为开发者和审计人员提供了深入理解合约行为的强大工具，有助于发现潜在的安全漏洞和优化合约设计； 所述控制流图的构建方法为：首先，从高级中间表示中识别所有可能的执行路径，包括条件分支、循环和函数调用；然后，使用反向传播算法，从合约的终止点开始，逆向追踪可能的执行路径；在追踪过程中，重点关注导致合约成功执行的路径；为每个基本块分配唯一标识符，并记录块之间的跳转关系，最终生成一个完整的控制流图，这一步骤有助于理解合约的整体结构和执行逻辑； 构建控制流图的具体方法为： step1：开始：初始化CFG，为整个算法的分析过程设置必要的环境和初始状态； step2：识别CFG连接：遍历Gigahorse生成的控制流图中的所有节点，识别并记录每个节点之间的连接关系，确保在此步骤中捕捉到所有可能的条件分支、循环结构以及函数调用； step3：定位CFG终点：在控制流图中查找并标记所有的终点节点，终点节点包括合约中的返回语句、停止指令； step4：反向传播路径：从前一步标记的终点节点出发，开始进行反向路径传播，通过反向遍历控制流图，逐步回溯可能的执行路径； Step5：输出反向路径：一旦确认所有路径均已识别，输出这些反向路径的结果，这些输出将作为进一步分析合约结构和执行逻辑的基础，这一步输出的路径图将显示所有可能的合约执行序列，帮助理解合约的整体控制流结构； Step6：得到每条路径约束：针对已经识别出的每条执行路径，分析并提取出路径上的逻辑约束条件，这些约束条件将用于进一步的验证或优化分析； Step7：结束：在所有路径均已分析和记录完毕后，完成控制流图的构建，此时，整个算法流程结束，生成的路径图和分析结果将用于进一步的合约验证和优化。

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

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