深入理解重入攻击漏洞

前言

智能合约（英文：Smart contract ）的概念于 1995 年由 Nick Szabo 首次提出，它是一种旨在以信息化方式传播、验证或执行合同的计算机协议，它允许在没有第三方的情况下进行可信交易，这些交易可追踪且不可逆转。然而智能合约也并非是安全的，其中重入 (Re-Entrance) 攻击漏洞是以太坊中的攻击方式之一，早在 2016 年就因为 The DAO 事件而造成了以太坊的硬分叉。

漏洞概述

在以太坊中，智能合约能够调用其他外部合约的代码，由于智能合约可以调用外部合约或者发送以太币，这些操作需要合约提交外部的调用，所以这些合约外部的调用就可以被攻击者利用造成攻击劫持，使得被攻击合约在任意位置重新执行，绕过原代码中的限制条件，从而发生重入攻击。重入攻击本质上与编程里的递归调用类似，所以当合约将以太币发送到未知地址时就可能会发生。

简单的来说，发生重入攻击漏洞的条件有 2 个：

调用了外部的合约且该合约是不安全的
外部合约的函数调用早于状态变量的修改

下面给出一个简单的代码片段示例：

上述代码片段就是最简单的提款操作，接下来会给大家详细分析重入攻击造成的原因。

漏洞分析

在正式的分析重入攻击之前，我们先来介绍几个重点知识。

01 转账方法

由于重入攻击会发送在转账操作时，而 Solidity 中常用的转账方法为

<address>.transfer()，<address>.send() 和 <address>.gas().call.vale()()，下面对这 3 种转账方法进行说明：

<address>.transfer()：只会发送 2300 gas 进行调用，当发送失败时会通过 throw 来进行回滚操作，从而防止了重入攻击。
<address>.send()：只会发送 2300 gas 进行调用，当发送失败时会返回布尔值 false，从而防止了重入攻击。
<address>.gas().call.vale()()：在调用时会发送所有的 gas，当发送失败时会返回布尔值 false，不能有效的防止重入攻击。

02 fallback 函数

接着我们来讲解下 fallback 回退函数。
回退函数 (fallback function)：回退函数是每个合约中有且仅有一个没有名字的函数，并且该函数无参数，无返回值，如下所示：

回退函数在以下几种情况中被执行：

调用合约时没有匹配到任何一个函数；
没有传数据；
智能合约收到以太币（为了接受以太币，fallback 函数必被标记为 payable）。

03 漏洞代码

下面的代码就是存在重入攻击的，实现的是一个类似于公共钱包的合约，所有的用户都可以使用 deposit() 存款到 Reentrance 合约中，也可以从 Reentrance 合约中使用 withdraw() 进行提款，当然了所有人也可以使用 balanceof() 查询自己或者其他人在该合约中的余额。

首先使用一个账户 (0x5B38Da6a701c568545dCfcB03FcB875f56beddC4) 扮演受害者，将该合约在 Remix IDE 点击 Deploy 按钮进行部署。

在部署合约成功后在 VALUE 设置框中填写 5，将单位改成 ether，点击 deposit 存入 5 个以太币。

点击 wallet 查看该合约的余额，发现余额为 5 ether，说明我们的存款成功。

而下面的代码则是针对上面存在漏洞的合约进行的攻击：

使用另外一个账户 (0xAb8483F64d9C6d1EcF9b849Ae677dD3315835cb2) 扮演攻击者，复制存在漏洞的合约地址到 Deploy 的设置框内，点击 Deploy 部署上面的攻击合约。

部署成功后先调用 wallet() 函数查看攻击合约的余额为 0。

攻击者先存款 1 ether 到漏洞合约中，这里设置 VALUE 为 1 ether，之后点击攻击合约的 deposit 进行存款。

再次调用合约的 wallet 函数查看漏洞合约的余额，发现已经变成了 6 ether。

攻击者 (0xAb8483F64d9C6d1EcF9b849Ae677dD3315835cb2) 调用攻击合约的 attack 函数模拟攻击，之后调用被攻击合约的 wallet 函数去查看合约的余额，发现已经归零，此时回到攻击合约查看余额，发现被攻击合约中的 6 ether 已经全部提款到了攻击者合约中，这就造成了重入攻击。