[发明专利]基于抽象语法树实现路径搜索深度自适应调整的方法在审
| 申请号： | 202211394130.9 | 申请日： | 2022-11-08 |
| 公开（公告）号： | CN115659356A | 公开（公告）日： | 2023-01-31 |
| 发明（设计）人： | 李志伟 | 申请（专利权）人： | 广东启链科技有限公司 |
| 主分类号： | G06F21/57 | 分类号： | G06F21/57;G06F11/36 |
| 代理公司： | 广州爱豆鼎盛知识产权代理事务所(普通合伙) 44763 | 代理人： | 袁翔 |
| 地址： | 528200 广东省佛山市南海区桂城街南平*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明属于路径搜索方法领域，尤其是基于抽象语法树实现路径搜索深度自适应调整的方法，针对现有代码行数较大的合约存在较深函数调用而符号执行无法覆盖，符号执行面向的合约基本为不超过200行低版本智能合约，忽视长/复杂合约中符号执行难以覆盖部分路径的问题，现提出如下方案，其包括以下步骤：S1：输入：将EtherScan上的开源合约或开发者编写的智能合约源码作为程序输入；S2：编译：通过Solidity编译器编译智能合约，收集编译过程中产出的AST信息和智能合约字节码，本发明基于符号执行技术，结合了能够反映智能合约源码语义的AST信息，自适应地调整符号执行过程中路径搜索深度，避免产生长合约中无法探测到漏洞位置、覆盖率低的问题。 | ||
| 搜索关键词： | 基于 抽象 语法 实现 路径 搜索 深度 自适应 调整 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于广东启链科技有限公司，未经广东启链科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202211394130.9/，转载请声明来源钻瓜专利网。
