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

背景概述

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

前置知识

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

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

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

NFT 概念板块今日平均跌幅为0.82%:金色财经行情显示,NFT 概念板块今日平均跌幅为0.82%。26个币种中8个上涨,18个下跌,其中领涨币种为:LYXE(+14.67%)、MEME(+2.56%)、DEGO(+2.42%)。领跌币种为:NFTX(-14.01%)、RFOX(-4.17%)、MANA(-3.89%)。[2021/9/19 23:36:20]

漏洞示例

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

漏洞分析

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

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

BlockFi将与加密数据公司Arcane Research合作发布加密报告:加密贷款机构BlockFi与加密数据公司Arcane Research达成合作,将在其双周加密报告中提供数据。双方将评估数字资产领域中机构投资和市场活动状况。

这些报告将包括总体市场动态、对数字资产价格、交易量、投资趋势的研究和评论,以及情绪和估值的变化,仅在BlockFi客户端提供。一些报告将有关于特定主题或市场事件的特殊章节。这些将包括链上活动、DeFi进展、挖矿趋势、新市场参与者和监管更新。(Beincrypto)[2021/4/2 19:41:31]

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)作为审计人员

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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金智博客

MATIC宇宙尽头是铁岭 元宇宙尽头在海底

世界尽头是铁岭,互联网尽头是元宇宙。 今年“元宇宙”概念被写进招股书,引起股价的暴涨,引爆了科技和资本圈。这之后,关于“元宇宙”的概念与文章迅速充斥各类媒体,成为年度热词。但很多人都没搞清元宇宙到底是个什么东西就开始瞎起哄。 其实元宇宙,本身也不是什么新鲜词,1992年,元宇宙(Metaverse)的概念在畅销书《雪崩》中诞生。

以太坊从P2E到S2E 元宇宙商业范式的转移

2020年初的那场疫情几乎让全球经济陷入停摆的境地,时至今日,短短两年内,人们的生活发生了翻天覆地的变化,线下活动受到极大的限制,人们慢慢习惯了居家线上办公、用社区购线上购买食物、和朋友用线上游戏代替日常的社交行为,传统的生产生活行为被加快挤压到线上。

瑞波币区块链技术将如何改变艺术世界?

世界上的一切都变得越来越数字化。艺术界也开始慢慢循规蹈矩地追上这个新趋势。而区块链技术的采用可能会以一种前所未见但强有力的方式改变这个行业。 对于那些已过世的艺术家遗留在这个世界上的艺术作品,艺术市场面临的最大挑战之一是验证其真实性和出处。

火币下载宝贝 回家吃饭 区块链助力打击儿童拐卖

“14年又57天后,他已比妈妈高出一个头,还给我带来土特产。他就是我们大家这么多年一直努力寻找的孙卓……” 12月6日,电影《亲爱的》中的角色原型孙海洋在自己的微博上发布了上述文字,表示被诱拐的儿子孙卓已经找到,这场持续14年的寻子之旅终于以一个令人欣慰的结局结束。

[0:15ms0-7:901ms