[发明专利]一种以太坊虚拟机缺陷检测方法及系统在审
申请号: | 201910532435.3 | 申请日: | 2019-06-19 |
公开(公告)号: | CN110287002A | 公开(公告)日: | 2019-09-27 |
发明(设计)人: | 傅滢;姜宇;任萌;马福辰;杨鑫;顾明;孙家广 | 申请(专利权)人: | 清华大学 |
主分类号: | G06F9/455 | 分类号: | G06F9/455;G06Q40/04 |
代理公司: | 北京路浩知识产权代理有限公司 11002 | 代理人: | 马英迪 |
地址: | 100084 北京市海*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明实施例提供一种以太坊虚拟机缺陷检测方法及系统,所提供的方法包括:获取包含有若干个以太坊的真实智能合约构建的测试数据集,根据优先级条件对所述测试数据集中每一个智能合约进行排序,选取其中优先级最高的智能合约作为目标合约;基于所述目标合约,构建所述目标合约对应的标识关键位置的抽象语法树,根据预设规则,对所述标识关键位置的抽象语法树中的关键属性进行修改,获得变异后的智能合约;将所述变异后的智能合约作为输入数据,对若干个以太坊虚拟机平台进行模拟交易,获取执行结果。本发明实施例提供的方法及系统,能够迅速、准确地检索并挖掘出以太坊虚拟机的漏洞,从而保障以太坊生态环境的安全。 | ||
搜索关键词: | 智能 虚拟机 抽象语法树 关键位置 缺陷检测 构建 测试数据集 虚拟机平台 优先级条件 测试数据 关键属性 模拟交易 生态环境 预设规则 排序 检索 漏洞 挖掘 安全 | ||
【主权项】:
1.一种以太坊虚拟机缺陷检测方法,其特征在于,包括:获取包含有若干个以太坊的真实智能合约构建的测试数据集,根据优先级条件对所述测试数据集中每一个智能合约进行排序,选取其中优先级最高的智能合约作为目标合约;基于所述目标合约,构建所述目标合约对应的标识关键位置的抽象语法树,根据预设规则,对所述标识关键位置的抽象语法树中的关键属性进行修改,获得变异后的智能合约;将所述变异后的智能合约作为输入数据,对若干个以太坊虚拟机平台进行模拟交易,获取执行结果。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于清华大学,未经清华大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201910532435.3/,转载请声明来源钻瓜专利网。
- 上一篇:程序合成虚拟机
- 下一篇:资源的管理方法和管理系统