[发明专利]一种符号执行的智能合约漏洞检测方法、系统和设备在审
申请号: | 202310880953.0 | 申请日: | 2023-07-18 |
公开(公告)号: | CN116933267A | 公开(公告)日: | 2023-10-24 |
发明(设计)人: | 赵相福;何龙;王奕辰 | 申请(专利权)人: | 烟台大学 |
主分类号: | G06F21/57 | 分类号: | G06F21/57;G06F21/64 |
代理公司: | 北京众达德权知识产权代理有限公司 11570 | 代理人: | 王少华 |
地址: | 264005 山*** | 国省代码: | 山东;37 |
权利要求书: | 暂无信息 | 说明书: | 暂无信息 |
摘要: | 本发明涉及网络安全技术领域,具体为一种符号执行的智能合约漏洞检测方法、系统和设备;检测方法中,特征提取智能合约后得到能够构建基本块的特征输入,以及能够对基本块进行初步分类标记的潜在问题特征;自定义构建控制流图时的操作码语义,基于特征输入和潜在问题特征,完成基本块的构建和标记,并构建基本块之间的边关系得到控制流图;接着,根据叶子块与问题块的关系,对控制流图进行简化,使用简化后的控制流图进行符号执行分析,能够大大减小计算的复杂度,提高计算效率。 | ||
搜索关键词: | 一种 符号 执行 智能 合约 漏洞 检测 方法 系统 设备 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于烟台大学,未经烟台大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202310880953.0/,转载请声明来源钻瓜专利网。
- 上一篇:肩袢加工方法及肩袢
- 下一篇:一种挂车位姿检测方法、装置、终端设备及存储介质