智能合约安全审计入门篇 : 重入漏洞

背景概述

看了一个关于学习 solidity 的站（https://solidity-by-example.org），里面讲了关于 solidity 智能合约的很多漏洞，考虑到现在针对智能合约的攻击事件频频发生，不法分子盗取的加密资产越来越多，我就想写一些与智能合约安全审计相关的文章给想了解智能合约安全审计的入门者阅读，让一些对智能合约安全审计感兴趣的初学者可以学到如何识别一些常见的漏洞和如何利用这些漏洞去做什么事情。这次我们就一起先看一个很经典的漏洞 —— 重入漏洞。

前置知识

重入漏洞相信大家都有所耳闻了，那么什么是重入漏洞呢？

以太坊智能合约的特点之一是合约之间可以进行相互间的外部调用。同时，以太坊的转账不仅仅局限于外部账户，合约账户同样可以拥有以太并进行转账等操作，且合约在接收以太的时候会触发 fallback 函数执行相应的逻辑，这是一种隐藏的外部调用。

Genie创始人：Genie完成对Coinbase NFT智能合约的集成，用户可参与Coinbase NFT测试版:4月27日消息，NFT聚合市场Genie创始人兼CEO Scott发推表示，Genie完成对CoinbaseNFT智能合约的集成。Scott在评论回复中表示，Genie上的用户都会收到Coinbase NFT测试版邀请码。

此外，Genie集成NFT交易市场X2Y2和LooksRare。[2022/4/27 5:14:49]

我们先给重入漏洞下个定义：可以认为合约中所有的外部调用都是不安全的，都有可能存在重入漏洞。例如：如果外部调用的目标是一个攻击者可以控制的恶意的合约，那么当被攻击的合约在调用恶意合约的时候攻击者可以执行恶意的逻辑然后再重新进入到被攻击合约的内部，通过这样的方式来发起一笔非预期的外部调用，从而影响被攻击合约正常的执行逻辑。

Juno Network 将进行 Lupercalia 升级，治理模块将实现实例化和智能合约调用:3月24日消息，Cosmos 生态智能合约平台链 Juno Network 宣布将进行 Lupercalia 升级，本次升级的内容包括：性能改进、治理模块实例化和实现智能合约的调用、使用 wasmd 模块而非分叉版本等。Juno 表示，本次网络升级将在接下来的两周内进行。[2022/3/24 14:14:57]

漏洞示例

好了，看完上面的前置知识我相信大家对重入漏洞都有了一个大致的了解，那么在真实的环境中开发者写出什么样的代码会出现重入漏洞呢，下面我们来看一个比较典型的有重入漏洞的代码:

漏洞分析

看到这里大家可能会有疑惑了，上面的代码就是个普通的充提币的合约，凭什么说他有重入攻击呢？我们来看这个合约的 withdraw 函数，这个函数中的转账操作有一个外部调用（msg.sender.call{value: bal}），所以我们就可以认为这个合约是可能有重入漏洞的，但是具体能否产生危害还需要更深入的分析：

英国法律委员会：英格兰和威尔士现行法律可适用于智能合约:金色财经报道，英国法律委员会（Law Commission）今天表示，英格兰和威尔士的现行法律可以适用于智能合约。根据该委员会的说法，对智能合约的执法并不需要对现有法律框架进行大规模的修改，除非在某些情况下，可能只需要对普通法进行微小的修改。今天的公告结束了委员会关于智能法律合约方面的工作，这是其第十三项法律改革计划的一部分。该声明还确认了英国司法管辖工作组在2019年11月就加密货币和智能法律合约达成的结论。根据法律委员会的说法，普通法的灵活性足以适应智能合约等新兴技术。因此，该委员会表示，英格兰和威尔士的管辖范围非常适合商业和创新。法律委员会还呼吁市场参与者采取积极的措施，以应对智能法律合约的激增。这些准备条款包括创建风险条款来解释智能合约的性能，以及建立用于理解智能法律合约中自然语言和计算机语言之间联系的协议。然而，法律委员会还指出，作为其结论的一部分，需要在智能合约和一般新兴技术引起的冲突解决领域进行更多的研究。在向政府提出的建议中，委员会同意某些类型的智能合约将带来独特的法律问题。与此同时，法律委员会也在研究加密货币和数字资产法规，重点关注产权，不论是有形的还是无形的。[2021/11/26 7:11:20]

1. 所有的外部调用都是不安全的且合约在接收以太的时候会触发 fallback 函数执行相应的逻辑，这是一种隐藏的外部调用，这种隐藏的外部调用是否会造成危害呢？

Cardano主网部署Alonzo硬分叉升级并启用智能合约功能:9月13日消息，Cardano开发公司InputOutput在推特表示，“升级成功，我们在部署了Alonzo升级，欢迎来到#Cardano新时代的开始”，Cardano已完成Alonzo硬分叉升级，正式进入智能合约时代。团队表示接下来的几个月将继续每两周发布一次代码更新，并定期维护和升级每季度的重大HFC活动。HFC事件发生后的几个小时内第一个简单的智能合约脚本将会被部署在Cardano上，更复杂的DApp需要更长的时间才能通过公共测试网推出，数百个项目预计在9月和10月部署，并在第四季度加速部署。[2021/9/13 23:20:05]

2. 我们可以看到在 withdraw 函数中是先执行外部调用进行转账后才将账户余额清零的，那我们可不可以在转账外部调用的时候构造一个恶意的逻辑合约在合约执行 balance[msg.sender]=0 之前一直循环调用 withdraw 函数一直提币从而将合约账户清空呢？

下面我们看看攻击者编写的攻击合约中的攻击手法是否与我们的漏洞分析相同：

攻击合约

我们看到 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）作为审计人员

作为审计人员我们需要关注的是重入漏洞的特征：所有涉及到外部合约调用的代码位置都是不安全的。这样在审计过程中需要重点关注外部调用，然后推演外部调用可能产生的危害，这样就能判断这个地方是否会因为重入点而产生危害。

标签：ETHEACKETHERETH2getherCardstacktogetherbnb剧情到哪了YETH

Coinw热门资讯