[发明专利]智能合约的漏洞的检测方法、装置及计算机设备

权利要求书

1.一种智能合约的漏洞的检测方法，其特征在于，包括：

获取待检测合约文件；所述待检测合约文件即需要进行漏洞检测的智能合约的合约文件；

根据所述待检测合约文件中可执行代码的运行逻辑，获取对应于待检测合约文件中各终端结点的逻辑表达式；

检测每个逻辑表达式，获得检测结果；

基于所述检测结果，判定所述待检测合约文件是否存在漏洞。

2.根据权利要求1所述的方法，其特征在于，所述根据待检测合约文件中可执行代码的运行逻辑，获取对应于待检测合约文件中各终端结点的逻辑表达式，包括：

根据所述可执行代码的运行逻辑，生成与所述待检测合约文件中的可执行代码相对应的控制流图；

根据所述控制流图，生成与所述待检测合约文件中各个终端结点相对应的逻辑表达式。

3.根据权利要求1或2所述的方法，其特征在于，所述检测每个逻辑表达式，获得检测结果，包括：

确定每个逻辑表达式所对应的输入参数；

通过所述输入参数检测对应的逻辑表达式的逻辑是否一致，并生成检测结果。

4.根据权利要求3所述的方法，其特征在于，所述通过所述输入参数检测对应的逻辑表达式的逻辑是否一致，并生成检测结果，包括：

当输入参数包括输入值时，将输入值输入对应的逻辑表达式，得到输出结果，判断输出结果与逻辑表达式的逻辑是否一致；

若输出结果与逻辑表达式的逻辑是一致的，则确定得到不存在漏洞的检测结果；

若输出结果与逻辑表达式的逻辑不一致，则确定得到存在漏洞的检测结果。

5.根据权利要求3所述的方法，其特征在于，所述通过输入参数检测对应的逻辑表达式的逻辑是否一致，并生成检测结果，包括：

当输入参数包括输入值以及将该输入值输入对应的逻辑表达式所得到的理想输出结果时，将输入值输入对应的逻辑表达式，得到实际输出结果；

当实际输出结果与理想输出结果不一致时，确定得到存在漏洞的检测结果；

当实际输出结果与理想输出结果一致时，确定得到不存在漏洞的检测结果。

6.根据权利要求1所述的方法，其特征在于，所述方法还包括：当基于检测结果确定待检测合约文件存在漏洞时，确定待检测合约文件的分数。

7.根据权利要求6所述的方法，其特征在于，所述确定待检测合约文件的分数，包括：

将每个存在漏洞的逻辑表达式分别与预设的各漏洞类型所对应的漏洞特征进行匹配，基于匹配结果确定逻辑表达式的漏洞类型；

基于各逻辑表达式的漏洞类型，确定待检测合约文件的漏洞特征信息；

从预设的各漏洞特征信息与分数之间的对应关系中，将该漏洞特征信息所对应的分数确定为待检测合约文件的分数。

8.一种智能合约的漏洞的检测装置，其特征在于，包括：

第一获取模块，用于获取待检测合约文件；所述待检测合约文件即需要进行漏洞检测的智能合约的合约文件；

第二获取模块，用于根据所述待检测合约文件中可执行代码的运行逻辑，获取对应于待检测合约文件中各终端结点的逻辑表达式；

检测模块，用于检测每个逻辑表达式，获得检测结果；

判定模块，用于基于检测结果，判定所述待检测合约文件是否存在漏洞。

9.一种计算机设备，包括存储器和处理器，所述存储器中存储有计算机可读指令，所述计算机可读指令被所述处理器执行时，使得所述处理器执行如权利要求1至7中任一项权利要求所述智能合约的漏洞的检测方法的步骤。

10.一种存储有计算机可读指令的存储介质，所述计算机可读指令被一个或多个处理器执行时，使得一个或多个处理器执行如权利要求1至7中任一项权利要求所述智能合约的漏洞的检测方法的步骤。