| 专利号 | 2023108809530 | 申请日 | 2023-07-18 | 专利名称 | 一种符号执行的智能合约漏洞检测方法、系统和设备 |
| 授权日 | 2024-01-26 | 专利权人 | 烟台大学 | 发明人 | 赵相福;何龙;王奕辰 |
| 主分类号 | G06F21/57 | 关键词 | 应用领域 | ||
| 摘要 | 本发明涉及网络安全技术领域，具体为一种符号执行的智能合约漏洞检测方法、系统和设备；检测方法中，特征提取智能合约后得到能够构建基本块的特征输入，以及能够对基本块进行初步分类标记的潜在问题特征；自定义构建控制流图时的操作码语义，基于特征输入和潜在问题特征，完成基本块的构建和标记，并构建基本块之间的边关系得到控制流图；接着，根据叶子块与问题块的关系，对控制流图进行简化，使用简化后的控制流图进行符号执行分析，能够大大减小计算的复杂度，提高计算效率。 | ||||
| 创新点 | |||||
| 技术分类 | 标 签 | 战兴产业 | 新一代信息技术 下一代信息网络产业 | ||
| 运营方式 | 合作方式 | ||||
| 联系人 | 联系电话 | 电子邮箱 | |||
| 详细说明 | |||||
