咨询电话：13280638997
传真：0533-3110363
邮箱：kefu@shizifang.com
24小时咨询热线13280638997
24小时咨询热线著 录 项 目：
| 专利/申请号： | CN202111475260.0 | 专利名称： | 一种基于符号抽象分析的智能合约安全审计方法(大学） |
| 申请日： | 2021-12-06 | 申请/专利权人 | 海南师范大学 |
| 专利类型： | 发明 | 地址： | 海南省海口市龙昆南路99号海南师范大学 |
| 专利状态： | 已下证 查询审查信息 | IPC分类号： | G06F21/56 分类检索 |
| 公开/公告日： | 2022-03-18 | 转让价格： | 【平台担保交易】 |
| 公开/公告号： | CN114201754A | 交易状态： | 等待洽谈 搜索相似专利 |
| 浏览量： | 45 | 所属领域： | 计算机硬件专利转让搜索 |
摘 要：本发明公开了一种基于符号抽象分析的智能合约安全审计方法，包括如下步骤：S1：输入待检测的合约源码，通过合约编译器生成静态检测文件；S2：遍历所述静态检测文件生成控制流程图文件CFG和搜集合约信息；S3：所述流程图文件CFG利用所述合约信息转换为单赋值语句文本SSA，对所述单赋值语句文本SSA进行建模分析，遍历搜集合约属性信息；S4：整合所述合约属性信息作为输入，执行漏洞检测策略搜索，生成漏洞类型和漏洞位置；S5：将所述漏洞类型和所述漏洞位置作为符号分析引擎的输入，查询漏洞所在基本块，符号分析引擎对所述漏洞类型和所述漏洞位置进行分析，对所述漏洞的执行路径进行溯源遍历，完成对生成的所述漏洞类型和所述漏洞位置的验证筛选工作。
| 交易方 | 企业 | 个人 |
| 买家 | 营业执照副本复印件（需盖公章） | 身份证复印件（签字） |
| 专利转让委托书（需盖公章）一式两份 | 专利转让委托书（需签字）一式两份 | |
| 专利转让协议（需盖公章）一式两份 | 专利转让协议（需签字）一式两份 | |
| 卖家 | 营业执照副本复印件（需盖公章） | 身份证复印件（需申请人签字） |
| 解除代理委托书（需盖公章）一式两份（如专利通过代理机构申请） | 解除代理委托书（需签字）一式两份（如专利通过代理机构申请） | |
| 专利转让协议（需盖公章）一式两份 | 专利转让协议（需签字）一式两份 | |
| 专利请求书或手续合格通知书、授权通知书复印件 | 专利请求书或手续合格通知书、专利授权通知书复印件 | |
| 专利证原件（若授权下证） | 专利证原件（若授权下证） |
| 日期 | 法律信息 | 备注 |
| 申请号 | 专利名称 | 发布日期 |
| 2021111525060 | 【发明】基于宏观结构和微观结构图像尺寸的被动三维面部成像 | 2025/09/23 |
| 2022104954193 | 【发明】基于图像大小的被动三维对象认证 | 2025/09/23 |
| 2021115541683 | 【发明】一种基于区块链和用户信用度的数据共享访问控制方法 | 2025/09/23 |
| 2020103970452 | 【发明】一种基于区块链的数据完整性快速检验方法 | 2025/09/23 |
| 2014105787297 | 【发明】一种软件定义安全体系结构 | 2025/09/23 |
| 202211101491X | 【发明】一种光伏发电站运维终端登录控制系统 | 2025/09/22 |
| 2020109364121 | 【发明】针对记录仪的异常处理方法、装置及设备 | 2025/09/19 |
| 2024112444312 | 【发明】一种计算机网络安全数据传输方法、系统及电子设备 | 2025/09/17 |
| 2025106156755 | 【发明】一种医疗护理体检数据防护方法及系统 | 2025/09/17 |
| 2021100449256 | 【发明】移动终端触摸屏轨迹解锁处理方法、装置、设备及介质 | 2025/09/16 |
