1.一种基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,包括如下操作:
2.根据权利要求1所述的基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,所述s3.5中降维子空间的测试用例分配量,是基于对应降维子空间的复杂度得到的,具体为:
3.根据权利要求2所述的基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,所述复杂度由降维子空间的降维输入变量复杂度和降维约束组复杂度组成;
4.根据权利要求1所述的基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,所述s3.1中数据类型包括:地址和字节组;
5.根据权利要求1所述的基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,所述s2中空间压缩的操作具体为:
6.根据权利要求1所述的基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,所述s2中空间分裂的操作为:
7.根据权利要求1所述的基于语义信息引导模糊测试的智能合约漏洞检测方法,其特征在于,所述s2中空间降维的操作为:
8.一种基于语义信息引导模糊测试的智能合约漏洞检测系统,其特征在于,包括:
9.一种基于语义信息引导模糊测试的智能合约漏洞检测设备,其特征在于,包括处理器和存储器,其中,所述处理器执行所述存储器中保存的计算机程序时实现如权利要求1-7任一项所述的基于语义信息引导模糊测试的智能合约漏洞检测方法。
10.一种计算机可读存储介质,其特征在于,用于存储计算机程序,其中,所述计算机程序被处理器执行时实现如权利要求1-7中任一项所述的基于语义信息引导模糊测试的智能合约漏洞检测方法。