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

龙图腾网获悉广东启链科技有限公司申请的专利基于抽象语法树实现路径搜索深度自适应调整的方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115659356B 。

龙图腾网通过国家知识产权局官网在2026-03-31发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211394130.9，技术领域涉及：G06F21/57；该发明授权基于抽象语法树实现路径搜索深度自适应调整的方法是由李志伟设计研发完成，并于2022-11-08向国家知识产权局提交的专利申请。

本基于抽象语法树实现路径搜索深度自适应调整的方法在说明书摘要公布了：本发明属于路径搜索方法领域，尤其是基于抽象语法树实现路径搜索深度自适应调整的方法，针对现有代码行数较大的合约存在较深函数调用而符号执行无法覆盖，符号执行面向的合约基本为不超过200行低版本智能合约，忽视长复杂合约中符号执行难以覆盖部分路径的问题，现提出如下方案，其包括以下步骤：S1：输入：将EtherScan上的开源合约或开发者编写的智能合约源码作为程序输入；S2：编译：通过Solidity编译器编译智能合约，收集编译过程中产出的AST信息和智能合约字节码，本发明基于符号执行技术，结合了能够反映智能合约源码语义的AST信息，自适应地调整符号执行过程中路径搜索深度，避免产生长合约中无法探测到漏洞位置、覆盖率低的问题。

本发明授权基于抽象语法树实现路径搜索深度自适应调整的方法在权利要求书中公布了：1.基于抽象语法树实现路径搜索深度自适应调整的方法，其特征在于，包括以下步骤： S1：输入：将EtherScan上的开源合约或开发者编写的智能合约源码作为程序输入； S2：编译：通过Solidity编译器编译智能合约，收集编译过程中产出的AST信息和智能合约字节码； S3：利用AST信息提取模块获取S2中的AST信息进行自适应的路径搜索深度调整，AST信息提取模块包括AST遍历搜索和构建调用图两个部分，AST遍历搜索：智能合约的AST信息可以通过Solidity编译器的ast指令进行获取，AST信息为结构化的json数据格式，源代码中的所有信息都会以key-value的形式在json数据结构中展现，对于源代码中的内容，合约的AST中具有以nodeType为key的键值对，以此来标注源码语句的意图和类别，所有的源代码语句均会以node的形式表现在AST的nodes键值对中； S4：路径搜索深度调整：根据S3得到的调用图，在符号执行之前，根据提取的合约复杂度的分析，进行自适应调整符号执行的路径搜索深度，而符号执行的路径搜索深度是决定是否能够覆盖尽可能多的程序代码、检测程序漏洞的重要参数； S5：选取路径搜索深度调整因子K用于自适应的调整符号执行路径搜索深度的参数，以提升符号执行对于复杂合约的代码覆盖能力和漏洞检测能力，得到最新自适应调整后的路径搜索深度m，K的计算公式为：其中，Dmax代表步骤3得到的调用流图中路径最长的调用路径，该路径中包含n个节点N1到Nn，第i个节点的出度为Oi，θ为缩放因子，通过对Dmax中第2和节点到第n-1个节点的出度和的计算能够得出该最长路径上存在的调用复杂程度，最后通过θ进行调整，得到最后的路径搜索深度调整因子K，再通过公式： m＝n+K 最后，根据原有设定的路径搜索深度参数值n，加上K值得到最新自适应调整后的路径搜索深度m； S6：进行符号执行：根据智能合约的智能合约字节码和预先设计好的执行操作码建模和内存建模，结合S5中的自适应路径搜索深度m，对程序中的路径进行搜索和约束求解，通过预设的约束求解情况和参数分析合约中存在的漏洞； S7：输出结果：根据符号执行完成的分析结果，输出漏洞检测结果。

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

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