欢迎来到中细软旗下技术转移平台
请登录技术转移平台
-
-
一种基于符号抽象分析的智能合约安全审计方法
-
发明专利
专利类型 -
未知
专利状态 -
2021114752600
专利号
-
专利信息
数据仅供参考，具体信息可联系在线顾问
| 专利号 | 2021114752600 | 专利名称 | 一种基于符号抽象分析的智能合约安全审计方法 |
|---|---|---|---|
| 专利类型 | 发明专利 | 国际分类 | G06F 21/56 (2013.01),G06F 21/57 (2013.01) |
| 申请人 | 海南师范大学 | 申请地址 | 海南省海口市龙昆南路99号海南师范大学 |
| 发明人 | 文斌,王泽旭 | 申请日期 | 2021-12-06 |
| 下证状态 | 未知 | 更新时间 | 2026-09-23 17:33:30 |
| 专利摘要 | 本发明公开了一种基于符号抽象分析的智能合约安全审计方法，包括如下步骤：S1：输入待检测的合约源码，通过合约编译器生成静态检测文件；S2：遍历所述静态检测文件生成控制流程图文件CFG和搜集合约信息；S3：所述流程图文件CFG利用所述合约信息转换为单赋值语句文本SSA，对所述单赋值语句文本SSA进行建模分析，遍历搜集合约属性信息；S4：整合所述合约属性信息作为输入，执行漏洞检测策略搜索，生成漏洞类型和漏洞位置；S5：将所述漏洞类型和所述漏洞位置作为符号分析引擎的输入，查询漏洞所在基本块，符号分析引擎对所述漏洞类型和所述漏洞位置进行分析，对所述漏洞的执行路径进行溯源遍历，完成对生成的所述漏洞类型和所述漏洞位置的验证筛选工作。 | ||
交易流程
转让材料
| 买卖双方需提供 | 平台提供 | 转让后买方可获得 | ||
|---|---|---|---|---|
| 企业 | 个人 | 专利代理委托书 专利权转让协议 办理文件副本请求书 发明人变更声明 | 专利证书 手续合格通知书 专利登记簿副本 | |
| 买方 | 企业营业执照 企业组织机构代码证 | 身份证 | ||
| 卖方 | 企业营业执照 专利证书原件 | 身份证 专利证书原件 | ||
服务保障
优质专利推荐
-
一种一锅法合成硝酸益康唑的方法
专利状态：已下证
专利类型：发明专利
询价
-
带式电泳Micro LED元件连续排列机器人流水线及排列方法
专利状态：已下证
专利类型：发明专利
询价
-
一种球节点空间桁架钢筋笼及其制造辅助装置
专利状态：已下证
专利类型：实用新型
询价
-
一种基于区块链的电动汽车电池更换系统及方法
专利状态：已下证
专利类型：发明专利
询价
- 品类齐全，快速响应
- 专业顾问一对一服务
- 服务流程追踪更安全
400-9696-518
全国免费服务热线
- 细软在线电商小程序
- 细软知识产权公众号
登录成功
您的咨询我们已收到，稍后会有专业顾问与您联系。