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

龙图腾网获悉广东启链科技有限公司申请的专利一种跨合约检测智能合约漏洞的符号执行方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115906092B 。

龙图腾网通过国家知识产权局官网在2026-03-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211356631.8，技术领域涉及：G06F21/57；该发明授权一种跨合约检测智能合约漏洞的符号执行方法是由李志伟;梁伟;杨策设计研发完成，并于2022-11-01向国家知识产权局提交的专利申请。

本一种跨合约检测智能合约漏洞的符号执行方法在说明书摘要公布了：本发明公开了一种跨合约检测智能合约漏洞的符号执行方法，本发明首次使用符号执行技术进行智能合约的跨合约漏洞检测，可以更深层次地探索在被测合约间可能存在的漏洞；本发明关注被众多工具所忽视的跨合约漏洞问题，可以更加全面地保障智能合约的安全性；本发明可以跨合约检测的关键在于，在生成控制流图的同时，还通过EVM字节码生成了智能合约间的调用图，从而得到了调用路径供符号执行进行探索、生成约束和约束求解，关注了智能合约漏洞检测领域中众多主流工具忽视的跨合约漏洞问题，不仅使用符号执行技术来深入到了更深的路径分支，还覆盖了更全面的跨合约漏洞，为智能合约提供更加全面的安全保障。

本发明授权一种跨合约检测智能合约漏洞的符号执行方法在权利要求书中公布了：1.一种跨合约检测智能合约漏洞的符号执行方法，其特征在于：包括以下步骤： 步骤1：收集开源的智能合约代码：从Etherscan上收集智能合约的源码作为数据集，将其反编译为EVM字节码作为程序的输入； 步骤2：生成控制流图CFG和调用图：此模块分解EVM字节码并重建CFG和调用图，其中包含所有基本块作为节点，以及一些表示跳跃的边，通过研究定位相应的源节点来确定目标的跳跃； 步骤3：路径搜索模块：路径搜索是符号执行工具的核心模块，通过搜索扫描第2步中的控制流图和调用图，完成搜集各个路径分支的路径约束和其他数据的分析处理，这里将路径搜索模块分为三个部分，第一部分图维护模块：主要负责在路径探索过程中，控制流图CFG和调用图CG的更新； CFG的维护由两个类实现：CFG和CFGNode，CFG中有三个数据成员，root是CFG的开始节点，即实际程序的入口，all_visited为访问标记，默认为false，当所有节点都被访问后，维护模块将其修改为true，也标志着符号执行结束，node是一个映射，CFG中所有节点的名字和指针一一对应，便于快速检索某个节点，CFGNode是CFG中的各个节点，每个CFGNode中有四个数据成员，name为该节点的名字，is_visited为访问标记，默认为false，节点被访问后，维护模块将其修改为true，general_child_num表示其子节点的数量，搜索时会进行遍历或剪枝，child为一个集合，其中包含指向该节点的各个子节点的指针； CG表示一个程序中子程序之间的调用关系，数据结构与CFG相似，不过CG中的每个节点表示一个函数，每条边f,g表示函数f调用函数g，这里针对跨合约的函数调用链进行建图，因为合约内部的CFG进行路径探索，若相同路径在CG中也包含，会造成额外开销； 步骤4：约束求解：约束求解模块使用Z3约束求解器解决路径约束模块传来的组合约束，检测分析是否存在漏洞，约束求解模块有两个输入，分别是记录路径约束中使用到的符号常量及其实际数据类型的文件symbolic_file和待求解路径约束PCnew，Z3求解器识别的输入格式为SMT-lib，因此在求解之前先将symbolic_file和PCnew经Transform函数转换成SMT-lib格式，得到z3_input，然后调用Z3的API函数将z3_input加载到求解器z3_solver中；左后通过check函数判断该路径约束是否可解，若不可解，返回“unsat”，否则返回z3_solver求解得到的每个符号常量和其对应解出的具体值，并返回给路径搜索模块，但若是路径搜索模块未能找到新的路径来进行求解，则根据结果进行漏洞分析； 步骤5：输出结果：根据符号执行完成的分析结果，输出漏洞检测结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人广东启链科技有限公司，其通讯地址为：528299 广东省佛山市南海区桂城街南平西路广东夏西国际橡塑城一期5号楼20026；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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