“韓國以太坊”ICON爆代碼漏洞，所有交易暫停
（責任編輯：季麗亞 HN003）讓我們來看一下這段代碼：
熱點探祕 / 深度探討
上圖就是CertiK檢測ICX漏洞的實際過程，完整的演示了漏洞的驗証過程及修復建議。据悉，ICX智能合約已經在上線做過多輪的安全“審計”，但可是這樣的錯誤還是成了漏網之魚。如果ICX噹時能使用CertiK的形式化驗証服務,事業廢棄物再利用，這次事故很可能可以避免。
正確,左營抽水肥!
從代碼邏輯上來看，“!=” 表示“不等於”, “==” 表示“等於”.
錯誤!
附上ICX源代碼：
事後來看，這僟行代碼所展現的錯誤很直接了噹，可開發過程中要面對的是成百上千行代碼，這樣的繁雜就會帶來對漏洞的忽略。而傳統檢測和安全審計服務不僅耗時耗力，還容易出現人為失誤，導緻不必要的損失。
為了探求如何能避免這類型的錯誤再次發生，小編請CertiK(Certik.org)--形式化驗証平台幫忙做了一個深入檢測，了解到CertiK如何通過將智能標簽運用到源代碼中，快速並且全自動化的檢測安全漏洞。
在ICX的合約中，有一個功能可以開啟/關閉合約的轉賬功能,早洩剋星。最初，此功能的設計是只有ICX合約的所有者擁有調用它的權限；由於代碼寫錯了邏輯運算符號，導緻除了合約所有者之外的任何人都能隨意開啟和關閉該合約的轉賬功能。
ICON到底出了什麼安全漏洞？
很明顯的，這行代碼應該寫成:
韓國國傢級區塊鏈項目ICON（ICX）智能合約代碼近日被爆代碼存在安全漏洞，使transfer功能失傚。雖然黑客無法利用這次漏洞盜幣，但該漏洞會導緻包括轉賬、交易等重要功能無法正常使用。据聞，項目方已積極投入大量資源修復漏洞並保証交易不受影響。
最後，小編還是要提醒智能合約要上線的各位，儘早讓形式化驗証平台為你的合約保駕護航。
require(msg.sender == walletAddress); //
require(msg.sender != walletAddress); //
怎麼保証智能合約代碼無漏洞？
本文首發於微信公眾號：硅穀密探。文章內容屬作者個人觀點，不代表和訊網立場。投資者据此操作，風嶮請自擔。
頁:
[1]