[发明专利]智能合约漏洞检测方法、装置及电子设备有效
| 申请号： | 201810158986.3 | 申请日： | 2018-02-26 |
| 公开（公告）号： | CN108256337B | 公开（公告）日： | 2020-07-17 |
| 发明（设计）人： | 韩昭芳;袁力;耿建华;黄焱 | 申请（专利权）人： | 北京阿尔山区块链联盟科技有限公司 |
| 主分类号： | G06F21/57 | 分类号： | G06F21/57 |
| 代理公司： | 北京超凡宏宇专利代理事务所(特殊普通合伙) 11463 | 代理人： | 徐丽 |
| 地址： | 100000 北京市西城*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种智能合约漏洞检测方法、装置及电子设备，涉及区块链技术领域，方法包括：对待检测智能合约进行DAG环路检测，判断待检测智能合约中是否存在合约逻辑环路；待检测智能合约由多个最小可信单元组成；如果是，则对合约逻辑环路进行环路超时检测，判断合约逻辑环路是否超时；如果否，则对待检测智能合约进行逻辑检测，判断逻辑检测的检测结果是否正确；如果是，则判断待检测智能合约不存在漏洞。本发明对基于最小可信单元的智能合约组合模式，依次经过DAG环路检测、环路超时检测、逻辑检测三个部分，一方面，可以校验合同本身的逻辑合理性，另一方面，检测智能合约组合问题，从而保证了合约的安全和可靠性。 | ||
| 搜索关键词： | 智能 合约 漏洞 检测 方法 装置 电子设备 | ||
【主权项】：
1.一种智能合约漏洞检测方法，其特征在于，包括：对待检测智能合约进行DAG环路检测，判断所述待检测智能合约中是否存在合约逻辑环路；待检测智能合约由多个最小可信单元组成；如果是，则对所述合约逻辑环路进行环路超时检测，判断所述合约逻辑环路是否超时；如果否，则对所述待检测智能合约进行逻辑检测，判断所述逻辑检测的检测结果是否正确；如果是，则判断所述待检测智能合约不存在漏洞。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京阿尔山区块链联盟科技有限公司，未经北京阿尔山区块链联盟科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810158986.3/，转载请声明来源钻瓜专利网。
