[发明专利]一种智能合约模糊测试系统

权利要求书

1.一种智能合约模糊测试系统，其特征在于，包含：

(1)静态分析模块，分析智能合约程序函数接口、参数、操作码等特征；

(2)模糊引擎模块，产生输入目标测试对象的测试用例；

(3)测试模块，将模糊引擎模块传过来的输入测试用例封装为交易，并发送到虚拟机插桩模块；

(4)虚拟机插桩模块，记录每一次调用的交易详细信息，记录执行并追踪，将检测漏洞结果发给模糊引擎模块。

2.根据权利要求1所述的一种智能合约模糊测试系统，其特征在于该系统能够使用于各种区块链平台的智能合约。

3.根据权利要求1所述的一种智能合约模糊测试系统，其特征在于：所述组成部分(1)静态分析模块通过分析测试智能合约的接口以及字节码，提取函数的每一个参数的数据类型以及函数签名。

4.根据权利要求1所述的一种智能合约模糊测试系统，其特征在于：所述组成部分(2)模糊引擎模块生成突变测试用例是按一定的策略进行变异，变异策略可以是遗传算法、生成对抗网络、模拟退火等方法。

5.根据权利要求1所述的一种智能合约模糊测试系统，其特征在于：所述组成部分(3)，测试模块是将测试用例以字符类型的动态数组存储在用户提交的签名交易中。

6.根据权利要求1所述的一种智能合约模糊测试系统，其特征在于：所述组成部分(4)，虚拟机插桩模块是通过对虚拟机插桩记录智能合约的运行时状态，虚拟机插桩模块记录每一次调用的交易详细信息，记录执行并追踪。