← 返回列表
许可链智能合约漏洞的检测方法、装置、设备及存储介质
申请人信息
- 申请人:电子科技大学(深圳)高等研究院; 电子科技大学
- 申请人地址:518110 广东省深圳市龙华区观澜街道新澜社区观光路1301-78号银星智界二期2号楼
- 发明人: 电子科技大学(深圳)高等研究院; 电子科技大学
专利详细信息
| 项目 | 内容 |
|---|---|
| 专利名称 | 许可链智能合约漏洞的检测方法、装置、设备及存储介质 |
| 专利类型 | 发明申请 |
| 申请号 | CN202410251367.4 |
| 申请日 | 2024/3/6 |
| 公告号 | CN117828618A |
| 公开日 | 2024/4/5 |
| IPC主分类号 | G06F21/57 |
| 权利人 | 电子科技大学(深圳)高等研究院; 电子科技大学 |
| 发明人 | 高建彬; 田雯; 段立新; 李文; 夏琦; 夏虎; 黄野 |
| 地址 | 广东省深圳市龙华区观澜街道新澜社区观光路1301-78号银星智界二期2号楼; 四川省成都市高新区(西区)西源大道2006号 |
摘要文本
本发明涉及智能合约技术领域，尤其涉及一种许可链智能合约漏洞的检测方法，该方法包括：获取许可链智能合约的源代码，并根据所述源代码构建程序依赖图；对所述程序依赖图进行切片处理，得到切片集；对所述切片集进行符号执行处理，得到所述许可链智能合约的漏洞信息。该方法通过程序切片技术可以将复杂的许可链智能合约简化为多个切片，同时维持切片的可执行性，以删除不必要分析的分支和语句。再使用符号执行技术对每个切片进行漏洞探测，缓解由于传统符号执行技术考虑所有可能执行路径，导致分析规模过度膨胀、形成路径爆炸和内存过度消耗的问题，进而提高许可链智能合约漏洞的检测效率。 数据由马 克 数 据整理
专利主权项内容
1.一种许可链智能合约漏洞的检测方法，其特征在于，包括：获取许可链智能合约的源代码，并根据所述源代码构建程序依赖图；对所述程序依赖图进行切片处理，得到切片集；对所述切片集进行符号执行处理，得到所述许可链智能合约的漏洞信息。。马-克-数据