背景概述
看了一个关于学习 solidity 的站（https://solidity-by-example.org），里面讲了关于 solidity 智能合约的很多漏洞，考虑到现在针对智能合约的攻击事件频频发生，不法分子盗取的加密资产越来越多，我就想写一些与智能合约安全审计相关的文章给想了解智能合约安全审计的入门者阅读，让一些对智能合约安全审计感兴趣的初学者可以学到如何识别一些常见的漏洞和如何利用这些漏洞去做什么事情。这次我们就一起先看一个很经典的漏洞 —— 重入漏洞。
前置知识
重入漏洞相信大家都有所耳闻了，那么什么是重入漏洞呢？
以太坊智能合约的特点之一是合约之间可以进行相互间的外部调用。同时，以太坊的转账不仅仅局限于外部账户，合约账户同样可以拥有以太并进行转账等操作，且合约在接收以太的时候会触发 fallback 函数执行相应的逻辑，这是一种隐藏的外部调用。
报告：以太坊智能合约部署在2022年跃升293%:金色财经报道，根据Alchemy的一份新报告，与2021年相比，2022年部署在以太坊上的智能合约数量猛增近300%。与2021年相比增长了293%，达到了与去年峰值相似的增长率。值得注意的是，这一活动高峰出现在2022年第四季度，当时FTX崩盘，导致该行业最大交易所的资金大量外流。根据该报告，2022年第四季度部署的智能合约数量环比增长453%，达到惊人的460万。此外，在2022年的最后三个月，以太坊Goerli测试网上的智能合约部署增长了187%，同比增长高达721%，达到270万的历史新高。[2023/1/18 11:17:32]
我们先给重入漏洞下个定义：可以认为合约中所有的外部调用都是不安全的，都有可能存在重入漏洞。例如：如果外部调用的目标是一个攻击者可以控制的恶意的合约，那么当被攻击的合约在调用恶意合约的时候攻击者可以执行恶意的逻辑然后再重新进入到被攻击合约的内部，通过这样的方式来发起一笔非预期的外部调用，从而影响被攻击合约正常的执行逻辑。
声音 | 美国黑客：智能合约本身就是一笔赏金:据ambcrypto消息，在旧金山区块链周期间，美国黑客、Comma.ai创始人George Hotz称，以太坊是一个很棒的bug赏金平台，而且智能合约本身就是一笔赏金，个人甚至不需要开发商。如果他们有能力破解智能合约，就会得到报酬。此外，这个过程并不违法，因为黑客只是在以太坊平台上运行代码。另外他还称，比特币是唯一存在可扩展性问题的加密货币。[2018/10/18]
漏洞示例
好了，看完上面的前置知识我相信大家对重入漏洞都有了一个大致的了解，那么在真实的环境中开发者写出什么样的代码会出现重入漏洞呢，下面我们来看一个比较典型的有重入漏洞的代码:
漏洞分析
看到这里大家可能会有疑惑了，上面的代码就是个普通的充提币的合约，凭什么说他有重入攻击呢？我们来看这个合约的 withdraw 函数，这个函数中的转账操作有一个外部调用（msg.sender.call{value: bal}），所以我们就可以认为这个合约是可能有重入漏洞的，但是具体能否产生危害还需要更深入的分析：
区块链智能合约共识成引领2017年牛市重要因素:据火币区块链研究院发布的2018年上半年全球区块链产业全景与趋势报告显示，比特币、数字资产市场存在一定的周期性，其周期性一定程度源于每四年一次的产量减半，2013 年的牛市系 2012 年比特币产量减半，2017 年的大牛市系2016 年比特币产量减半。但与过去不同的是，2017 年的牛市不再是比特币的一枝独秀，真正驱动市场上行的逻辑也从原先点对点现金共识，变成区块链技术特别是智能合约的共识，由以太坊为代表的“智能合约系”项目所引领。[2018/5/30]
1. 所有的外部调用都是不安全的且合约在接收以太的时候会触发 fallback 函数执行相应的逻辑，这是一种隐藏的外部调用，这种隐藏的外部调用是否会造成危害呢？
2. 我们可以看到在 withdraw 函数中是先执行外部调用进行转账后才将账户余额清零的，那我们可不可以在转账外部调用的时候构造一个恶意的逻辑合约在合约执行 balance[msg.sender]=0 之前一直循环调用 withdraw 函数一直提币从而将合约账户清空呢？
以太坊基金会开发人员提议推出智能合约保险基金:据ccn消息，以太坊基金会的开发人员，Mist浏览器团队负责人Alex Van de Sande在一篇博客文章中发布了一份关于保险库的建议，他认为这将减轻以太坊网络拆分的风险，这是因为存在恢复由于智能合约中的代码故障而被冻结的资金的希望。开发人员可以通过在头几年锁定一部分“补救合约”的以太坊为智能合约投保，作为交换，他们可以收到等额的“补救性以太通证。”人们可以持有或者交易该通证。如果智能合约出于黑客攻击或者其他原因冻结了以太坊，那么人们便可以90%的比例等额从保险池里兑换他们的通证。此前，智能合约的错误代码造成了资金冻结。而因为代码错误，造成了Parity钱包合约的损毁并不得不采取分叉形式帮助用户弥补损失。[2018/4/29]
下面我们看看攻击者编写的攻击合约中的攻击手法是否与我们的漏洞分析相同：
攻击合约
我们看到 EtherStore 合约是一个充提合约，我们可以在其中充提以太。下面我们将利用攻击合约将 EtherStore 合约中用户的余额清零的：
这里我们将引用三个角色，分别为：
用户：Alice，Bob
攻击者：Eve
1. 部署 EtherStore 合约；
2. 用户 1（Alice）和用户 2（Bob）都分别将 1 个以太币充值到 EtherStore 合约中；
3. 攻击者 Eve 部署 Attack 合约时传入 EtherStore 合约的地址；
4. 攻击者 Eve 调用 Attack.attack 函数，Attack.attack 又调用 EtherStore.deposit 函数，充值 1 个以太币到 EtherStore 合约中，此时 EtherStore 合约中共有 3 个以太，分别为 Alice、Bob 的 2 个以太和攻击者 Eve 刚刚充值进去的 1 个以太。然后 Attack.attack 又调用 EtherStore.withdraw 函数将自己刚刚充值的以太取出，此时 EtherStore 合约中就只剩下 Alice、Bob 的 2 个以太了；
5. 当 Attack.attack 调用 EtherStore.withdraw 提取了先前 Eve 充值的 1 个以太时会触发 Attack.fallback 函数。这时只要 EtherStore 合约中的以太大于或等于 1 Attack.fallback 就会一直调用 EtherStore.withdraw 函数将 EtherStore 合约中的以太提取到 Attack 合约中，直到 EtherStore 合约中的以太小于 1 。这样攻击者 Eve 会得到 EtherStore 合约中剩下的 2 个以太币（Alice、Bob 充值的两枚以太币）。
下面是攻击者的函数调用流程图：
修复建议
看了上面的攻击手法相信大家对重入漏洞都会有一个自己的认知，但是只会攻击可不行，我们的目的是为了防御，那么作为开发人员如何避免写出漏洞代码还有作为审计人员如何快速发现问题代码呢，下面我们就以这两个身份来分析如何防御重入漏洞和如何在代码中快速找出重入漏洞：
（1）作为开发人员
站在开发者的角度我们需要做的是写好代码，避免重入漏洞的产生。
1. 写代码时需要遵循先判断，后写入变量在进行外部调用的编码规范（Checks-Effects-Interactions）；
2. 加入防重入锁。
下面是一个防重入锁的代码示例：
（2）作为审计人员
作为审计人员我们需要关注的是重入漏洞的特征：所有涉及到外部合约调用的代码位置都是不安全的。这样在审计过程中需要重点关注外部调用，然后推演外部调用可能产生的危害，这样就能判断这个地方是否会因为重入点而产生危害。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。