咨询电话：13280638997
传真：0533-3110363
邮箱：kefu@shizifang.com
24小时咨询热线13280638997
24小时咨询热线著 录 项 目：
| 专利/申请号： | CN202111475260.0 | 专利名称： | 一种基于符号抽象分析的智能合约安全审计方法(大学） |
| 申请日： | 2021-12-06 | 申请/专利权人 | 海南师范大学 |
| 专利类型： | 发明 | 地址： | 海南省海口市龙昆南路99号海南师范大学 |
| 专利状态： | 已下证 查询审查信息 | 分类号： | G06F21/56分类检索 计算机硬件专利转让搜索 |
| 公开/公告日： | 2022-03-18 | 转让价格： | 【平台担保交易】 |
| 公开/公告号： | CN114201754A | 交易状态： | 等待洽谈 搜索相似专利 |
摘 要：本发明公开了一种基于符号抽象分析的智能合约安全审计方法，包括如下步骤：S1：输入待检测的合约源码，通过合约编译器生成静态检测文件；S2：遍历所述静态检测文件生成控制流程图文件CFG和搜集合约信息；S3：所述流程图文件CFG利用所述合约信息转换为单赋值语句文本SSA，对所述单赋值语句文本SSA进行建模分析，遍历搜集合约属性信息；S4：整合所述合约属性信息作为输入，执行漏洞检测策略搜索，生成漏洞类型和漏洞位置；S5：将所述漏洞类型和所述漏洞位置作为符号分析引擎的输入，查询漏洞所在基本块，符号分析引擎对所述漏洞类型和所述漏洞位置进行分析，对所述漏洞的执行路径进行溯源遍历，完成对生成的所述漏洞类型和所述漏洞位置的验证筛选工作。
| 交易方 | 企业 | 个人 |
| 买家 | 营业执照副本复印件（需盖公章） | 身份证复印件（签字） |
| 专利转让委托书（需盖公章）一式两份 | 专利转让委托书（需签字）一式两份 | |
| 专利转让协议（需盖公章）一式两份 | 专利转让协议（需签字）一式两份 | |
| 卖家 | 营业执照副本复印件（需盖公章） | 身份证复印件（需申请人签字） |
| 解除代理委托书（需盖公章）一式两份（如专利通过代理机构申请） | 解除代理委托书（需签字）一式两份（如专利通过代理机构申请） | |
| 专利转让协议（需盖公章）一式两份 | 专利转让协议（需签字）一式两份 | |
| 专利请求书或手续合格通知书、授权通知书复印件 | 专利请求书或手续合格通知书、专利授权通知书复印件 | |
| 专利证原件（若授权下证） | 专利证原件（若授权下证） |
| 日期 | 法律信息 | 备注 |
| 申请号 | 专利名称 | 发布日期 |
| 2025104805686 | 【发明】用于建筑工程造价数据安全的管理方法、系统及介质 | 2025/07/31 |
| 2023113488830 | 【发明】一种多级视觉隐私保护方法、系统、设备及存储介质 | 2025/07/31 |
| 2020106675839 | 【发明】一种基于显著性检测的非对等图像加密方法 | 2025/07/31 |
| 2025100137125 | 【发明】一种基于智慧消防安全信息管理方法和系统 | 2025/07/30 |
| 2022114447532 | 【发明】一种工业安全软件固化系统 | 2025/07/30 |
| 2019112969540 | 【发明】一种基于区块链的数据使用权认证方法及系统 | 2025/07/28 |
| 2021106664383 | 【发明】基于云和区块链的医疗数据拥有终端位置匹配方法及系统 | 2025/07/24 |
| 2020110406661 | 【发明】基于椭圆曲线和可取消生物特征的生物认证方法及系统 | 2025/07/24 |
| 2022106925320 | 【发明】一种基于互联网的计算机软件管理系统 | 2025/07/22 |
| 2020100281000 | 【发明】一种非交互式数据完整性审计方法、公平付费方法及系统 | 2025/07/22 |
