首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

基于函数依赖的跨合约模糊测试方法、装置、设备和介质 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:武汉大学

摘要:本发明涉及智能合约技术领域,提供一种基于函数依赖的跨合约模糊测试方法、装置、设备和介质,包括:将待测智能合约编译为字节码,并生成与字节码对应的合约调用接口;生成待测智能合约的跨合约数据调用图与函数调用列表;基于待测智能合约的跨合约数据调用图以及合约调用接口,应用于ContractRank算法,得到待测智能合约的函数重要度集合;基于待测智能合约的字节码、合约调用接口、函数重要度集合和函数调用列表,生成待测智能合约的测试用例;调用以太坊虚拟机对待测智能合约的测试用例进行模糊测试。本发明能够快速、有效地发现智能合约中的漏洞。

主权项:1.一种基于函数依赖的跨合约模糊测试方法,其特征在于,所述方法包括:将待测智能合约编译为字节码,并生成与所述字节码对应的合约调用接口;生成待测智能合约的跨合约数据调用图与函数调用列表;基于待测智能合约的所述跨合约数据调用图以及所述合约调用接口,应用于ContractRank算法,得到待测智能合约的函数重要度集合;基于待测智能合约的所述字节码、所述合约调用接口、所述函数重要度集合和所述函数调用列表,生成待测智能合约的测试用例,所述测试用例中包括函数地址映射关系、交易序列中的函数以及函数参数;基于以太坊虚拟机对待测智能合约的所述测试用例进行模糊测试。

全文数据:

权利要求:

百度查询: 武汉大学 基于函数依赖的跨合约模糊测试方法、装置、设备和介质

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

相关技术
相关技术
相关技术
相关技术