[发明专利]一种面向数据管控的智能合约代码检查方法和系统在审
| 申请号： | 202010809496.2 | 申请日： | 2020-08-12 |
| 公开（公告）号： | CN112115472A | 公开（公告）日： | 2020-12-22 |
| 发明（设计）人： | 蔡华谦;黄家梅;朱晓旻;张舒汇;郭京申;舒俊宜 | 申请（专利权）人： | 北京智融云河科技有限公司 |
| 主分类号： | G06F21/56 | 分类号： | G06F21/56;G06Q40/04 |
| 代理公司： | 北京润泽恒知识产权代理有限公司 11319 | 代理人： | 莎日娜 |
| 地址： | 100871 北京市海淀*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明实施例提供了一种面向数据管控的智能合约代码检查方法和系统，所述方法和系统预先定义数据依赖类型及其相关计算，设计基于污点分析的多源多汇的静态分析算法；针对目标合约文件中的目标合约函数，确定污点源；基于所述算法，将所述污点源添加到控制流图的起始块执行前的分析结果中，通过遍历程序控制流图，选择相应的数据使用约束，进行数据值传递依赖分析和/或数据控制依赖分析，持续地更新执行后的分析结果，返回最终分析结果；生成并返回分析报告。本发明实施例提供的方法和系统，基于特定数据管控策略来定义数据约束并进行静态分析，以完成智能合约的自动化审计，保证面向数据管控的区块链平台上智能合约的正常运行。 | ||
| 搜索关键词： | 一种 面向 数据 智能 合约 代码 检查 方法 系统 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京智融云河科技有限公司，未经北京智融云河科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010809496.2/，转载请声明来源钻瓜专利网。
- 数据显示系统、数据中继设备、数据中继方法、数据系统、接收设备和数据读取方法
- 数据记录方法、数据记录装置、数据记录媒体、数据重播方法和数据重播装置
- 数据发送方法、数据发送系统、数据发送装置以及数据结构
- 数据显示系统、数据中继设备、数据中继方法及数据系统
- 数据嵌入装置、数据嵌入方法、数据提取装置及数据提取方法
- 数据管理装置、数据编辑装置、数据阅览装置、数据管理方法、数据编辑方法以及数据阅览方法
- 数据发送和数据接收设备、数据发送和数据接收方法
- 数据发送装置、数据接收装置、数据收发系统、数据发送方法、数据接收方法和数据收发方法
- 数据发送方法、数据再现方法、数据发送装置及数据再现装置
- 数据发送方法、数据再现方法、数据发送装置及数据再现装置
