區(qū)塊鏈智能合約的漏洞特別容易造成大量的代幣被Web3的攻擊者盜取。這也是我們SINE安全技術(shù)對有關(guān)區(qū)塊鏈智能合約安全寫的第二部分的文章，這篇文章依然是具體的去寫區(qū)塊鏈智能合約里的比較常見漏洞。
0x02漏洞詳細(xì)介紹與基本原理
算術(shù)外溢（arithmeticoverflow）或稱之為外溢（overflow）指的是在計算機界里發(fā)生的事。運轉(zhuǎn)單一數(shù)據(jù)處理時，當(dāng)計算生成出來的結(jié)果超過寄存器或儲存器能夠存儲或顯示的能力限制的狀況就叫做算術(shù)上溢。相反，叫做算術(shù)下溢。在solidity中，uint8能夠顯示的范疇是0-255這256個數(shù)，當(dāng)使用uint8類別在具體運算中計算255+1是會存在上溢的，這種計算出來結(jié)果顯示0可能就是uint8類別可顯示的最低值。相同的，下溢可能就是計算生成出來的結(jié)果特別小，低于寄存器或儲存器能夠存儲或顯示的能力限制就會形成下溢。比如在Solidity中，當(dāng)使用uint8類別計算0-1時就會形成下溢，這種計算出來值為255可能就是uint8類別可顯示的最高值。
針對于區(qū)塊鏈里的智能合約溢出漏洞是存在著版本的一些差別的：
Solidity 小于0.8版本的 該漏洞不會報錯
Solidity 大于等于 0.8版本 該溢出漏洞會報錯
因此，當(dāng)看到Solidity版本小于0.8的時候，就要注意該區(qū)塊鏈智能合約是不是有溢出漏洞。
智能合約溢出漏洞復(fù)現(xiàn)
在TimeLock區(qū)塊鏈智能合約中客戶可以根據(jù)deposit()變量存到自己的代幣并且給代幣加鎖(block.timestamp+1weeks)鎖住幾天時間，其實客戶也可以使用increaseLockTime()變量來提高儲存時長。不過在儲存時間達(dá)到以前，代幣還會繼續(xù)鎖在TimeLock區(qū)塊鏈智能合約里邊，不管客戶怎么操作都難以拿出。
那如何造成溢出漏洞呢？在deposit()變量之中能夠存入代幣同時通過Balance來查詢自個的存款，假如攻擊者存入2^256個代幣造成區(qū)塊鏈智能合約溢出并且清空自己的存款，我覺得沒有誰那么愚笨做出這種事兒，這件事成本費用太高。那么我們就只能依靠別的漏洞點來開啟這一溢出漏洞！
increaseLockTime(uint_secondsToIncrease)之中_secondsToIncrease直接跟賬戶所對應(yīng)的鎖住時長lockTime開展運算，因此我們能夠操控_secondsToIncrease參數(shù)使它在和LockTime開展運算是溢出，就可以造成溢出漏洞，進(jìn)而在未達(dá)到取款時長拿出咱們存入的代幣。
SINE安全對智能合約溢出漏洞修復(fù)的一些建議：
1.應(yīng)用SafeMath來避免外溢；
2.應(yīng)用Solidity0.8或以上版本來開發(fā)設(shè)計合約并慎用unchecked因為在unchecked處理過的代碼塊里邊并沒有對參數(shù)采取溢出檢查的；
3.須要謹(jǐn)慎使用變量的類型強制類型轉(zhuǎn)換，比如將uint256類型的參數(shù)強轉(zhuǎn)為uint8類型因為兩種形式的取值不一樣也可能會致使外溢。
