一种针对Move智能合约的漏洞检测方法及系统

1.一种针对move智能合约的漏洞检测方法，其特征在于，包括以下步骤：

2.根据权利要求1所述的一种针对move智能合约的漏洞检测方法，其特征在于：所述步骤s1具体包括：

3.根据权利要求2所述的一种针对move智能合约的漏洞检测方法，其特征在于：所述源代码的字符串信息包括函数名和智能合约名。

4.根据权利要求1所述的一种针对move智能合约的漏洞检测方法，其特征在于：所述构建控制流图具体包括：按照控制流图的定义将move智能合约的中间表示代码划分为多个基本块，每个基本块以第一条指令或跳转指令的目标地址开头，以跳转指令或程序结束指令结尾，生成控制流图。

5.根据权利要求1所述的一种针对move智能合约的漏洞检测方法，其特征在于：所述生成跨智能合约的调用图具体包括：

6.根据权利要求1所述的一种针对move智能合约的漏洞检测方法，其特征在于：所述构建数据依赖树具体包括：识别所述move智能合约的中间表示中的变量赋值语句，提取赋值语句左值对赋值语句右值的依赖关系，将每个变量作为一个树节点，节点之间的连线代表依赖关系，从而构建数据依赖树。

7.根据权利要求6所述的一种针对move智能合约的漏洞检测方法，其特征在于：所述变量范围分析具体包括：

8.根据权利要求1所述的一种针对move智能合约的漏洞检测方法，其特征在于：所述定义缺陷及缺陷的检测规则具体包括：

9.根据权利要求8所述的一种针对move智能合约的漏洞检测方法，其特征在于：所述基于代码分析提供的元数据接口设计检测器实现缺陷检测，最后生成检测报告，具体包括：

10.一种针对move智能合约的漏洞检测系统，其特征在于：包括：