買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > AAVE > Info

智能合約安全審計入門篇 : 重入漏洞

Author:

Time:1900/1/1 0:00:00

背景概述

看了一個關于學習 solidity 的站(https://solidity-by-example.org),里面講了關于 solidity 智能合約的很多漏洞,考慮到現在針對智能合約的攻擊事件頻頻發生,不法分子盜取的加密資產越來越多,我就想寫一些與智能合約安全審計相關的文章給想了解智能合約安全審計的入門者閱讀,讓一些對智能合約安全審計感興趣的初學者可以學到如何識別一些常見的漏洞和如何利用這些漏洞去做什么事情。這次我們就一起先看一個很經典的漏洞 —— 重入漏洞。

前置知識

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

以太坊智能合約的特點之一是合約之間可以進行相互間的外部調用。同時,以太坊的轉賬不僅僅局限于外部賬戶,合約賬戶同樣可以擁有以太并進行轉賬等操作,且合約在接收以太的時候會觸發 fallback 函數執行相應的邏輯,這是一種隱藏的外部調用。

Moonbeam新增Scaffold-ETH支持部署Solidity智能合約:3月3日消息,據Moonbeam最新版開發者文檔,以太坊開發技術棧Scaffold-ETH已支持在Moonbeam部署Solidity智能合約,并啟用了帶有React前端和已部署subgraph的DApp。目前有一些預制模板可供常見DApp類型,如NFT、ERC-20 Token、多簽錢包、簡易DEX等使用。Scaffold-ETH可提升提升開發效率,曾被部分開發者稱為“Web3.0 DApp開發入門神器”。[2022/3/3 13:34:48]

我們先給重入漏洞下個定義:可以認為合約中所有的外部調用都是不安全的,都有可能存在重入漏洞。例如:如果外部調用的目標是一個攻擊者可以控制的惡意的合約,那么當被攻擊的合約在調用惡意合約的時候攻擊者可以執行惡意的邏輯然后再重新進入到被攻擊合約的內部,通過這樣的方式來發起一筆非預期的外部調用,從而影響被攻擊合約正常的執行邏輯。

聲音 | AVA Labs CEO:智能合約和資產通證化提供了保證和可審計性:AVA Labs首席執行官兼創始人Emin Gün Sirer最近評論稱,現實世界資產的通證化(tokenization)和智能合約是兩個有用的想法。他表示,區塊鏈和數字資產的發明是一個改變游戲規則的事件,并補充說,智能合約和私人通證化資產促進了“安心、保證和可審計性”。(AMBCrypto)[2020/1/19]

漏洞示例

好了,看完上面的前置知識我相信大家對重入漏洞都有了一個大致的了解,那么在真實的環境中開發者寫出什么樣的代碼會出現重入漏洞呢,下面我們來看一個比較典型的有重入漏洞的代碼:

漏洞分析

看到這里大家可能會有疑惑了,上面的代碼就是個普通的充提幣的合約,憑什么說他有重入攻擊呢?我們來看這個合約的 withdraw 函數,這個函數中的轉賬操作有一個外部調用(msg.sender.call{value: bal}),所以我們就可以認為這個合約是可能有重入漏洞的,但是具體能否產生危害還需要更深入的分析:

動態 | 以太坊總供應的1%被鎖定在MakerDAO智能合約中:據CCN消息,MKR.tools創建者Mike McDonald昨日發推文警示,根據以太坊區塊鏈,大約有一百萬以太坊,或者說以太坊總供應的近1%現在已經被鎖定在了MakerDAO智能合約中。[2018/11/15]

1. 所有的外部調用都是不安全的且合約在接收以太的時候會觸發 fallback 函數執行相應的邏輯,這是一種隱藏的外部調用,這種隱藏的外部調用是否會造成危害呢?

2. 我們可以看到在 withdraw 函數中是先執行外部調用進行轉賬后才將賬戶余額清零的,那我們可不可以在轉賬外部調用的時候構造一個惡意的邏輯合約在合約執行 balance[msg.sender]=0 之前一直循環調用 withdraw 函數一直提幣從而將合約賬戶清空呢?

動態 | 蘇黎世聯邦理工學院創建以太坊智能合約掃描器:據techcrunch.com消息,蘇黎世聯邦理工學院研究人員創建了一個以太坊智能合約掃描器,可以檢查智能合約是否存在漏洞或潛在的問題。據悉,一項關于開源以太坊合約的研究表明,由于覆蓋范圍不足,現有的解決方案可能會漏掉多達三分之二的漏洞。該團隊表示將于本周正式推出這款產品。該項目是自籌資金的,團隊明確表示他們永遠不會啟動ICO。[2018/7/3]

下面我們看看攻擊者編寫的攻擊合約中的攻擊手法是否與我們的漏洞分析相同:

攻擊合約

我們看到 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)作為審計人員

作為審計人員我們需要關注的是重入漏洞的特征:所有涉及到外部合約調用的代碼位置都是不安全的。這樣在審計過程中需要重點關注外部調用,然后推演外部調用可能產生的危害,這樣就能判斷這個地方是否會因為重入點而產生危害。

Tags:ETHACKSTORETHESetherPACKstorj幣值得投資嗎Vital Ethereum

AAVE
AMA:波卡首輪插槽拍賣落幕 5條平行鏈將會扮演什么角色?_KUS

當我們再次著重筆墨談及波卡平行鏈時,預示著平行鏈第一輪拍賣已經結束,而在今天凌晨,我們順利集齊了5條平行鏈,并準備“召喚”平行鏈的正式上線,這一刻我們等待了太久,波卡生態也期盼已久.

1900/1/1 0:00:00
DEFI:從“DeFi之夏”到“DeFi2.0” 流動性激勵方案的改進_AMM

隨著DeFi 2.0的推出,新一代的貨幣樂高正在其前身的基礎上建立,以使去中心化的金融環境對其參與者更加有效、友好和有用.

1900/1/1 0:00:00
加密貨幣:《蜘蛛俠:英雄無歸》還未上映已經賣爆 這一切都怪NFT?_Italian Football Federation

不知不覺,距離《復仇者聯盟 4:終局之戰》上映已經過了近兩年半的時間。 漫威宇宙已經正式進入第四階段,并且播出了包括《旺達幻視》《黑寡婦》《洛基》等一系列作品.

1900/1/1 0:00:00
AND:耐克、阿迪、LV等服裝品牌的元宇宙暢想_BOX幣

近些日子,元宇宙相關的話題非常的火熱。元宇宙被譽為是下一代互聯網。許多科技公司都因為元宇宙未來的巨大潛力而紛紛布局元宇宙相關業務.

1900/1/1 0:00:00
DAO:從URL到IRL:社區對今天的Z世代意味著什么?_USDC

對于Z世代,在這個線下面對面、線上線下混合以及線上同時活躍的時代,社區在我們的生活方式中發揮著越來越突出的作用。社區曾經是無關緊要的。一年前,建立社區在商人的議程中還遠遠不是最重要的.

1900/1/1 0:00:00
QUARTZ:育碧的新NFT項目視頻獲得96%的反感率_CorgiNFTGame

法國游戲巨頭育碧娛樂公司(Ubisoft Entertainment SA)新推出的非同質化代幣(NFT)項目Quartz正面臨游戲社區的強烈抵制.

1900/1/1 0:00:00
ads