[发明专利]基于缺陷摘要的智能合约缺陷可触发性检测方法及系统有效
| 申请号： | 201911113284.4 | 申请日： | 2019-11-14 |
| 公开（公告）号： | CN111125697B | 公开（公告）日： | 2022-03-04 |
| 发明（设计）人： | 计卫星;田泽民;刘法旺;王一拙;高玉金;石峰 | 申请（专利权）人： | 北京理工大学;工业和信息化部计算机与微电子发展研究中心（中国软件评测中心） |
| 主分类号： | G06F21/56 | 分类号： | G06F21/56;G06F11/36 |
| 代理公司： | 北京慕达星云知识产权代理事务所(特殊普通合伙) 11465 | 代理人： | 曹鹏飞 |
| 地址： | 100081 *** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了基于缺陷摘要的智能合约缺陷可触发性检测方法及系统，该方法包括：对待检测的智能合约进行缺陷检测，提取出一个或多个缺陷摘要；智能合约被调用时，获取实时合约状态数据集合及合约调用数据集合；使用实时状态数据和调用数据，对智能合约的各个缺陷摘要中预设初始符号值进行替换；对符号被替换后的缺陷摘要进行求解，若缺陷摘要的路径约束和缺陷触发条件约束同时有解，检测出所述智能合约在被调用时会触发缺陷。该方法通过将缺陷摘要和智能合约的实时状态数据与合约调用数据相结合来快速判断智能合约中缺陷的可触发性，能够解决现在智能合约缺陷检测中由于没有考虑真实数据而产生的高误报的问题，提高智能合约缺陷检测的准确率。 | ||
| 搜索关键词： | 基于 缺陷 摘要 智能 合约 触发 检测 方法 系统 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京理工大学;工业和信息化部计算机与微电子发展研究中心（中国软件评测中心），未经北京理工大学;工业和信息化部计算机与微电子发展研究中心（中国软件评测中心）许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201911113284.4/，转载请声明来源钻瓜专利网。
