发明专利已授权

一种基于符号抽象分析的智能合约安全审计方法

Name: 一种基于符号抽象分析的智能合约安全审计方法
Brand: 海南师范大学
SKU: 2021114752600
Availability: InStock

📄 申请号：CN202111475260.0 📄 发布日：2026/09/28

著录项目信息

申请日

2021-12-06

公开号

CN114201754A

公开日

2022-03-18

申请人

海南师范大学

法律状态

已下证

专利类型

发明

主分类号

G06F21_56

IPC 分类号

G06F21_56 , G06F21_57 ,

技术画像

所属领域

其他分类其他

应用场景

智能合约安全审计, 区块链安全, 数字货币交易安全, 去中心化金融风控, 软件漏洞检测

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

本发明公开了一种基于符号抽象分析的智能合约安全审计方法，包括如下步骤：S1：输入待检测的合约源码，通过合约编译器生成静态检测文件；S2：遍历所述静态检测文件生成控制流程图文件CFG和搜集合约信息；S3：所述流程图文件CFG利用所述合约信息转换为单赋值语句文本SSA，对所述单赋值语句文本SSA进行建模分析，遍历搜集合约属性信息；S4：整合所述合约属性信息作为输入，执行漏洞检测策略搜索，生成漏洞类型和漏洞位置；S5：将所述漏洞类型和所述漏洞位置作为符号分析引擎的输入，查询漏洞所在基本块，符号分析引擎对所述漏洞类型和所述漏洞位置进行分析，对所述漏洞的执行路径进行溯源遍历，完成对生成的所述漏洞类型和所述漏洞位置的验证筛选工作。

常见问题

这项专利是否已经下证？

是的，该专利已下证，法律状态为“已下证”，公开号： CN114201754A

购买这项专利需要经过哪些流程？

平台提供担保交易、全程代办转让手续。买家可委托平台代购，平台协助完成权属尽调、合同签署、国家知识产权局著录项目变更等流程。

该专利的转让价格是多少？

当前标价为议价，可委托平台代购或预约谈判。

权利要求书 (12项) 说明书附图

……

图1

图2

图3

法律状态时间线

无穷时域优化的间歇过程2D约束容错控制方法(高校制造与自动化 ‌精密制造机器人及智能系统）

当前第 / 件

一种适用于联邦学习的树状广播数据同步方法（需要二次变更）

同领域国内专利 · IPC: (G06F21_56)

G06F21_10 G06F21_12 G06F21_14 G06F21_16 G06F21_24 G06F21_30 G06F21_31 G06F21_32 G06F21_33 G06F21_34 G06F21_36 G06F21_41 G06F21_44 G06F21_45 G06F21_46 G06F21_50 G06F21_51 G06F21_52 G06F21_53 G06F21_54 G06F21_55 G06F21_56 G06F21_57 G06F21_60 G06F21_62 G06F21_64 G06F21_71 G06F21_72 G06F21_73 G06F21_74 G06F21_75 G06F21_76 G06F21_78 G06F21_79 G06F21_80 G06F21_81 G06F21_83 G06F21_84 G06F21_85 G06F21_86 G06F21_88 覆盖41个领域

相似专利推荐 AI 驱动 · 同领域

一种恶意软件检测方法及相关设备

¥0.0

2018108515199 · 平安科技(深圳)有限公司

数字签名处理方法、装置、计算机设备和存储介质

¥0.0

2021116154461 · 深圳市名竹科技有限公司

议价

不含过户费

📋 交易方式： 委托待转让 📌 交易状态：在售 👁️ 浏览次数：14 ❤️ 收藏人数：93 📋 项目申报： 未申报

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 2657件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)