[发明专利]一种跨合约重入攻击检测方法及系统

权利要求书

1.一种跨合约重入攻击检测系统，其特征在于：

合约处理模块：输入待检测的合约，对智能合约的源码进行分析，生成智能合约的跨合约函数调用图；

静态分析模块：对跨合约函数调用图进行处理，针对生成的跨合约函数调用图进行静态污点分析，得到可疑的污点路径；

路径确认模块：基于支付前验证、支付地址硬编码、执行锁保护、自定义修饰器保护、交易前内部更新规则，对可疑的路径进行综合审查，最终输出重入攻击路径检测结果。

2.根据权利要求1所述的一种跨合约重入攻击检测系统，其特征在于：合约处理模块的输入是Solidity编写的智能合约，收集从外部函数开始的所有调用，具体包括以下步骤：

步骤2.1、通过Solidity程序构建跨合约调用图，生成有向的跨合约调用图，跨合约调用图的节点是Solidity函数，有向边代表着调用关系；

步骤2.2、添加fallback函数和自定义修饰器所代表的边，以得到更为准确的跨合约调用图；

步骤2.3、对于跨合约调用图内的每一个函数，经过抽象语法分析器作用后生成合约内部函数调用图；

步骤2.4、由步骤2.2得到的跨合约调用图和2.3得到的合约内部函数调用图相结合，得到最终所需的跨合约函数调用图，根据跨合约函数调用图得到调用链。

3.根据权利要求1所述的一种跨合约重入攻击检测手段系统，基特征在于：静态分析模块对跨合约函数调用图进行静态污点分析，分析的目标是跨合约调用图中，所有从可疑合约地址开始，以外部函数调用结束的调用关系，在跨合约函数调用图里，如果一条路径满足以下任一条件，那么则认为该路径为遭受重入攻击的脆弱路径：

(1)合约对象调用了其任意公有方法；

(2)地址变量调用了任意低级函数。

4.根据权利要求1所述的一种跨合约重入攻击检测系统，其特征在于：路径确认模块基于支付前访问控制技术、支付地址硬编码、自定义修饰器保护、执行锁保护、支付前内部升级技术，共同对可疑路径进行判断。

5.一种跨合约重入攻击检测方法，其特征在于：包括以下步骤：

合约处理步骤：输入待检测的合约，对智能合约的源码进行分析，生成智能合约的跨合约函数调用图；

静态分析步骤：对跨合约函数调用图进行处理，针对生成的跨合约函数调用图进行静态污点分析，得到可疑的污点路径；

路径确认步骤：基于支付前验证、支付地址硬编码、执行锁保护、自定义修饰器保护、交易前内部更新规则，对可疑的路径进行综合审查，最终输出重入攻击路径检测结果。

6.根据权利要求1所述的一种跨合约重入攻击检测方法，其特征在于：合约处理步骤的输入是Solidity编写的智能合约，收集从外部函数开始的所有调用，具体包括以下步骤：

步骤2.1、通过Solidity程序构建跨合约调用图，生成有向的跨合约调用图，跨合约调用图的节点是Solidity函数，有向边代表着调用关系；

步骤2.2、添加fallback函数和自定义修饰器所代表的边，以得到更为准确的跨合约调用图；

步骤2.3、对于跨合约调用图内的每一个函数，经过抽象语法分析器作用后生成合约内部函数调用图；

步骤2.4、由步骤2.2得到的跨合约调用图和2.3得到的合约内部函数调用图相结合，得到最终所需的跨合约函数调用图，根据跨合约函数调用图得到调用链。

7.根据权利要求1所述的一种跨合约重入攻击检测手段方法，基特征在于：静态分析模块对跨合约函数调用图进行静态污点分析，分析的目标是跨合约调用图中，所有从可疑合约地址开始，以外部函数调用结束的调用关系，在跨合约函数调用图里，如果一条路径满足以下任一条件，那么则认为该路径为遭受重入攻击的脆弱路径：

(1)合约对象调用了其任意公有方法；

(2)地址变量调用了任意低级函数。