[发明专利]一种以太坊虚拟机缺陷检测方法及系统

权利要求书

1.一种以太坊虚拟机缺陷检测方法，其特征在于，包括：

获取包含有若干个以太坊的真实智能合约构建的测试数据集，根据优先级条件对所述测试数据集中每一个智能合约进行排序，选取其中优先级最高的智能合约作为目标合约；

基于所述目标合约，构建所述目标合约对应的标识关键位置的抽象语法树，根据预设规则，对所述标识关键位置的抽象语法树中的关键属性进行修改，获得变异后的智能合约；

将所述变异后的智能合约作为输入数据，对若干个以太坊虚拟机平台进行模拟交易，获取执行结果。

2.根据权利要求1所述的方法，其特征在于，所述根据优先级条件对所述测试数据集中每一个智能合约进行排序，选取其中优先级最高的智能合约作为目标合约的步骤，具体包括：

计算所述测试数据集中的每一个智能合约的差异度优先级和时间优先级；

根据所述每一个智能合约的差异度优先级和时间优先级，对所述智能合约进行排序；

选取排在首位的智能合约作为目标合约。

3.根据权利要求2所述的方法，其特征在于，所述选取排在首位的智能合约作为目标合约的步骤之后，还包括：

更新所述测试数据集中每一个智能合约的时间优先级。

4.根据权利要求1所述的方法，其特征在于，所述基于所述目标合约，构建所述目标合约对应的标识关键位置的抽象语法树的步骤，具体包括：

根据所述目标合约，获取所述目标合约的抽象语法树，对所述目标合约的抽象语法树中的预设位置进行标识，获得标识关键位置的抽象语法树。

5.根据权利要求1所述的方法，其特征在于，所述根据预设规则，对所述标识关键位置的抽象语法树中的关键属性进行修改，获得变异后的智能合约的步骤，具体包括：

根据预设的变异操作符，结合预设的变异策略，对所述标识关键位置的抽象语法树中的关键属性进行修改，获得变异后的标识关键位置的抽象语法树；

对所述变异后的标识关键位置的抽象语法树进行重构，获得变异后的智能合约；

其中，所述变异策略包括但不限于奇数组合策略、偶数组合策略、极值组合策略、随机组合策略和全局组合策略中的任一种。

6.根据权利要求1所述的方法，其特征在于，所述将所述变异后的智能合约作为输入数据，对若干个以太坊虚拟机平台进行模拟交易，获取执行结果之后的步骤还包括：

获取所述变异后的智能合约在第一以太坊虚拟机平台的第一执行结果，以及所述变异后的智能合约在第二以太坊虚拟机平台的第二执行结果；

根据所述第一执行结果和所述第二执行结果，计算获得所述变异后的智能合约在第一以太坊虚拟机平台和第二以太坊虚拟机平台执行的差异指标。

7.根据权利要求6所述的方法，其特征在于，所述方法还包括：

根据所述差异指标，对所述变异后的智能合约进行评估，获得所述变异后的智能合约的合约质量；

若所述合约质量满足预设要求，则将所述变异后的智能合约保存至所述测试数据集。

8.一种以太坊虚拟机缺陷检测系统，其特征在于，包括：

合约提取模块，用于获取包含有若干个以太坊的真实智能合约构建的测试数据集，根据优先级条件对所述测试数据集中每一个智能合约进行排序，选取其中优先级最高的智能合约作为目标合约；

变异模块，用于基于所述目标合约，构建所述目标合约对应的标识关键位置的抽象语法树，根据预设规则，对所述标识关键位置的抽象语法树中的关键属性进行修改，获得变异后的智能合约；

执行模块，用于将所述变异后的智能合约作为输入数据，对若干个以太坊虚拟机平台进行模拟交易，获取执行结果。

9.一种电子设备，包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序，其特征在于，所述处理器执行所述程序时实现如权利要求1至7任一项所述以太坊虚拟机缺陷检测方法的步骤。

10.一种非暂态计算机可读存储介质，其上存储有计算机程序，其特征在于，该计算机程序被处理器执行时实现如权利要求1至7任一项所述以太坊虚拟机缺陷检测方法的步骤。