十大智慧合約檢測工具優缺點分析

閱讀時間約 3 分鐘
DeFi安全事件多與智慧合約撰寫有關,其中閃電貸攻擊及利用重入(Reentrancy)漏洞進行跨合約攻擊佔了多數,以dForce受到ERC777重入攻擊為例,Lendf.Me與imBTC兩個合約本身程式碼無安全問題,而兩者組合產生的協議帶來系統性的風險,此類可組合性對DeFi的發展有極大的安全隱患。
為了解決這個問題,目前已有一些智慧合約檢測工具,多用以檢查智慧合約中程式碼之漏洞,然而每種工具都有其優缺點,因此在實際運用時必須對其功能及特性有更深入的了解,本文也將為大家介紹及分析目前較為常見的十種智慧合約檢測工具。

1.Slither

Slither
用於智慧合約的靜態分析框架,可以生成抽象語法樹(AST),可以用以查看合約函數的關聯,重入、含有kill()的合約等漏洞可以被檢測,但無法測gas消耗量。

2. MythX

MythX
可用於掃描基於EVM智慧合約中的漏洞,與乙太坊平台兼容,分析後會生成一份分析報告,但僅能測出部分漏洞。

3. Mythril

Mythril
會將分析出之漏洞對應編號,並可以顯示gas之消耗,儘管對於多數漏洞能夠辨識,仍無法對外部呼叫的合約或函數進行檢查。

4. Manticore

Manticore
對智慧合約進行符號分析,可以分析二進制文件和乙太坊智慧合約。
可以測重入但不能測有kill() 的合約,TOD、可見性也無法測出。

5. Securify

Securify
Securify 2.0 是以太坊基金會 和ChainSecurity所支援的以太坊智慧合約安全掃描器 ,可以對EVM字節碼及Solidity所編寫的合約進行安全分析,利用靜態分析智慧合約中的路徑,Securify2.0可以測出37個漏洞。

6. Smartcheck

Smartcheck
會指出智慧合約中漏洞並描述及闡述漏洞產生之原因,無法檢查程序錯誤,kill()及重入等都無法精準檢查。

7. Echidna

Echidna
為智慧合約模糊測試之工具,模糊測試是一種安全測試方法,將無效或隨機的值輸入到程式中,以獲得意外行為來識別錯誤和潛在漏洞。Echidna提供清晰的UI,可以針對錯誤進行深入分析,但不能檢查合約程序。

8. Oyente

Oyente
檢查可能引發安全的錯誤並可以調查每條函數實際執行的路徑,可以檢查重入但不能檢查有kill()的合約,對於一些嚴重錯誤會低估。

9. Vandal

可以將EVM字節碼轉換為語意邏輯關係,分析效率相當快,但只能檢查出五種安全問題

10. Zeus

涉及數學相關的屬性無法充分檢查,對智慧合約程式碼提供靜態分析,將智慧合約程式碼和策略規範轉換為LLVM位程式碼以強化合約行為,但不一定可以找出跨函數重入漏洞。

結論

以上為目前較為常見之合約檢測工具的簡短介紹,檢測工具雖然可以幫助開發者發現潛在漏洞,但對於「精準」找出正確的漏洞及檢查商業或營運邏輯仍然存在一定的局限性,因此目前多數的項目方在項目發布並上線之前,還是會將合約送交專業的審計公司進行審計來確保系統的安全性。
此外,也建議項目方在每次的升級前都應該再次送交審計,以確保系統的安全性及保護機制,可以避免來自惡意攻擊者的濫用,並且確保該系統能夠符合最新的安全及功能需求。
作者Alice目前為區塊鏈安全從業人員,將來也會持續在Vocus以及medium上分享相關的研究,如果喜歡我的文章歡迎追蹤我的帳號喔!
另外,我已經加入由趨勢科技防詐達人所成立的方格子專題-《區塊鏈生存守則》,在那裡我會跟其他優質的創作者一起帶大家深入瞭解區塊鏈,並隨時向大家更新區塊鏈資安事件
> 追蹤《區塊鏈生存守則》學習如何在區塊鏈的世界保護自己
> 關注防詐達人獲得其他最新詐騙情報
28會員
176內容數
我們整理了web3相關的熱門資安問題,包含加密貨幣投資詐騙、盜版NFT、空投釣魚和區塊鏈重大資安事件懶人包等等,並提供最完整的辨識方法教學,讓大家從0到1學習如何保護自己
留言0
查看全部
發表第一個留言支持創作者!
你可能也想看
迎新活動「方格新手村」:新格友註冊加入方格子,知名日料吃到飽餐券送給你! 👉 還不是 vocus 的會員嗎?點此註冊,參與新手村活動 👈 近期站上也出現了不少新格友,為了歡迎各位的加入,「方格新手村」隨之登場! 即日起,只要是新註冊帳號於活動期間內發佈 3 則文章,就有機會抽獎獲得知名日料吃到飽餐券。原格友也可以一起同樂,我們準備了小任
Thumbnail
2024-06-21
89
閱讀心得:展現自我的生活態度|成熟大人的說話課我們每天都在說話,但說出的話合適嗎? Sunny最近讀完一本有關溝通的書籍。 這是由世紀奧美公關的創辦人「丁菱娟」所寫的書,書的全名《丁菱娟的成熟大人說話課:如何說,才能得體又不傷人?反擊時,如何堅定又有力量?任何情境都可用的38個溝通之道》。 會找這本書來看,主要是因為Sunny 近期發
Thumbnail
2024-07-10
68
防曬產品係數測試報告彙整(2024年)從2014年起,自己對於市售防曬產品的效能產生了濃厚的興趣。因為當時候發現不少產品的防曬係數其實標示是有問題的,像是原本應該是人體測試的SPF與PA數值,實際上沒有做,只用機器測試的數據來充當,但這兩者卻有很大的差異。像是防曬係數其實有強度、廣度與平均度三個面向需要一起判斷,但多數廠商並沒有完整標示
Thumbnail
2023-04-27
39
十大照明設計趨勢,室內設計質感大加分!TJ2 Lighting 東捷生活科技LED照明設計是室內設計的關鍵元素,在室內設計師的的眾多選擇中,LED照明是最重要的一環,提供多功能性和高能效應用。本文我們將探討 LED 照明領域,並討論 10 種可提升室內空間美感的照明設計手法。
Thumbnail
十大行銷趨勢和預測 10 Marketing Trends and Predictions身為企業主,你必須要能掌握到行銷市場發展趨勢與前景。Forbes 集結幾位知名行銷專家,調查並整合出 2023 年度十大行銷趨勢與預測。
Thumbnail
十大金融智慧:打造穩健的財務未來在當今充滿不確定性的時代,本文探討了有效財務管理策略的關鍵性,包括從個人預算到投資理財的各個方面。文章精煉地介紹了十大金融智慧,旨在幫助讀者建立更穩固、有利的財務未來。這些策略涵蓋了從設定實際的財務目標、有效預算管理,到債務管理、追求財務獨立,以及利用專業財務諮詢等。
Thumbnail
2023-12-28
2
#25 智慧筆記 : 讓我持續走在光中的技巧,六時書與十大好種子。把開APP的日記本,默默的我已經累積超過250天的六時書筆記,六時書是一天當中記錄六個時段,把自己好與壞的行為、說的話、我的思考記錄在我的記事本中,有些人喜歡紙本就會在自己身上隨身帶筆和小本子記錄。 在迷霧森林裡,我用六時書走在陽光下 紀錄六時書的畫面就是如此吧!大部分我們生活的模式很多是被習慣
Thumbnail
十大 SEO 軟體推薦,想學 SEO 必須知道的好用工具都在這邊!你也正在學習 SEO 優化嗎?SEO公司都推薦的十大 SEO 軟體工具都集結在這邊,只要掌握以下工具的使用方式,就能幫助你在提升流量的路上風雨無阻!
Thumbnail
2023-11-15
1
大智慧在‎1885年的觀音堂佛祖廟‎,因藏有一串佛祖戴過的念珠而聞名。念珠的供奉之地只有廟裡的老住持和7個小和尚知道。7個小和尚都很有悟性,老住持覺得將來把衣鉢傳給他們中的任何一個,都可以光大佛法。突然有一天那串念珠突然不見了。 老住持問7個小和尚:「你們誰拿了念珠,只要放回原處,我不追究,佛祖也不會怪罪
Thumbnail
2022-11-18
0
小聰明成就不了大智慧孩子出生後,你發現對父母的認知一次又一次被推翻,尤其是當你禁疑惑,他們真的是你所熟悉的父母嗎?他們面對孫兒時一臉詳和的表情聽到父母不斷盛讚孫兒時,不禁疑惑他們真的是你所熟悉的父母嗎?他們面對孫兒時一臉親切和譪,以及有求必應的態度,在在挑戰著你的兒時記憶,當年不斷批評你、否定你、責罵你的父母,從甚麼時
Thumbnail
2022-10-18
8
大解析新型資金盤『Amoeba』不會跑路 但是你還是有很多疑問 直接看智能合約與 Excel 計算給你 | GameFi1.項目介紹 2.影片介紹 3.小礦工挖挖礦 所有社群連結 https://linktr.ee/TinyTinyMiner #amoeba #資金盤 #變形蟲
Thumbnail
2022-06-17
0
1分鐘內製作『跑路項目』大賺230萬 智能合約解析 + 編譯 + 部署 + 驗證四合一 | RoastTurkey直接寫一個跑路項目的仿盤,說明為甚麼智能合約為甚麼可以跑路 教你怎麼快速製作一個跑路項目,利用Remix編譯跟布署到區塊鏈上 ,在利用區塊鏈瀏覽器驗證你的智能合約程式碼,在區塊鏈瀏覽器上操作智能合約或是自架網站UI串接智能合約。 你對得住自己的良心道德,就對得住佛(宣化上人)
Thumbnail
2022-05-06
1
智能合約開發實戰(十) - Array 陣列這篇我們來看一個在程式開發很常見也很常用的一個東西:Array 陣列 Array在所有的程式開發中還蠻常見的,也一定會出現,因為有很多的資料都會是一長串的,需要有一個物件來去做集中管理。
Thumbnail
2022-03-19
3
迎新活動「方格新手村」:新格友註冊加入方格子,知名日料吃到飽餐券送給你! 👉 還不是 vocus 的會員嗎?點此註冊,參與新手村活動 👈 近期站上也出現了不少新格友,為了歡迎各位的加入,「方格新手村」隨之登場! 即日起,只要是新註冊帳號於活動期間內發佈 3 則文章,就有機會抽獎獲得知名日料吃到飽餐券。原格友也可以一起同樂,我們準備了小任
Thumbnail
2024-06-21
89
閱讀心得:展現自我的生活態度|成熟大人的說話課我們每天都在說話,但說出的話合適嗎? Sunny最近讀完一本有關溝通的書籍。 這是由世紀奧美公關的創辦人「丁菱娟」所寫的書,書的全名《丁菱娟的成熟大人說話課:如何說,才能得體又不傷人?反擊時,如何堅定又有力量?任何情境都可用的38個溝通之道》。 會找這本書來看,主要是因為Sunny 近期發
Thumbnail
2024-07-10
68
防曬產品係數測試報告彙整(2024年)從2014年起,自己對於市售防曬產品的效能產生了濃厚的興趣。因為當時候發現不少產品的防曬係數其實標示是有問題的,像是原本應該是人體測試的SPF與PA數值,實際上沒有做,只用機器測試的數據來充當,但這兩者卻有很大的差異。像是防曬係數其實有強度、廣度與平均度三個面向需要一起判斷,但多數廠商並沒有完整標示
Thumbnail
2023-04-27
39
十大照明設計趨勢,室內設計質感大加分!TJ2 Lighting 東捷生活科技LED照明設計是室內設計的關鍵元素,在室內設計師的的眾多選擇中,LED照明是最重要的一環,提供多功能性和高能效應用。本文我們將探討 LED 照明領域,並討論 10 種可提升室內空間美感的照明設計手法。
Thumbnail
十大行銷趨勢和預測 10 Marketing Trends and Predictions身為企業主,你必須要能掌握到行銷市場發展趨勢與前景。Forbes 集結幾位知名行銷專家,調查並整合出 2023 年度十大行銷趨勢與預測。
Thumbnail
十大金融智慧:打造穩健的財務未來在當今充滿不確定性的時代,本文探討了有效財務管理策略的關鍵性,包括從個人預算到投資理財的各個方面。文章精煉地介紹了十大金融智慧,旨在幫助讀者建立更穩固、有利的財務未來。這些策略涵蓋了從設定實際的財務目標、有效預算管理,到債務管理、追求財務獨立,以及利用專業財務諮詢等。
Thumbnail
2023-12-28
2
#25 智慧筆記 : 讓我持續走在光中的技巧,六時書與十大好種子。把開APP的日記本,默默的我已經累積超過250天的六時書筆記,六時書是一天當中記錄六個時段,把自己好與壞的行為、說的話、我的思考記錄在我的記事本中,有些人喜歡紙本就會在自己身上隨身帶筆和小本子記錄。 在迷霧森林裡,我用六時書走在陽光下 紀錄六時書的畫面就是如此吧!大部分我們生活的模式很多是被習慣
Thumbnail
十大 SEO 軟體推薦,想學 SEO 必須知道的好用工具都在這邊!你也正在學習 SEO 優化嗎?SEO公司都推薦的十大 SEO 軟體工具都集結在這邊,只要掌握以下工具的使用方式,就能幫助你在提升流量的路上風雨無阻!
Thumbnail
2023-11-15
1
大智慧在‎1885年的觀音堂佛祖廟‎,因藏有一串佛祖戴過的念珠而聞名。念珠的供奉之地只有廟裡的老住持和7個小和尚知道。7個小和尚都很有悟性,老住持覺得將來把衣鉢傳給他們中的任何一個,都可以光大佛法。突然有一天那串念珠突然不見了。 老住持問7個小和尚:「你們誰拿了念珠,只要放回原處,我不追究,佛祖也不會怪罪
Thumbnail
2022-11-18
0
小聰明成就不了大智慧孩子出生後,你發現對父母的認知一次又一次被推翻,尤其是當你禁疑惑,他們真的是你所熟悉的父母嗎?他們面對孫兒時一臉詳和的表情聽到父母不斷盛讚孫兒時,不禁疑惑他們真的是你所熟悉的父母嗎?他們面對孫兒時一臉親切和譪,以及有求必應的態度,在在挑戰著你的兒時記憶,當年不斷批評你、否定你、責罵你的父母,從甚麼時
Thumbnail
2022-10-18
8
大解析新型資金盤『Amoeba』不會跑路 但是你還是有很多疑問 直接看智能合約與 Excel 計算給你 | GameFi1.項目介紹 2.影片介紹 3.小礦工挖挖礦 所有社群連結 https://linktr.ee/TinyTinyMiner #amoeba #資金盤 #變形蟲
Thumbnail
2022-06-17
0
1分鐘內製作『跑路項目』大賺230萬 智能合約解析 + 編譯 + 部署 + 驗證四合一 | RoastTurkey直接寫一個跑路項目的仿盤,說明為甚麼智能合約為甚麼可以跑路 教你怎麼快速製作一個跑路項目,利用Remix編譯跟布署到區塊鏈上 ,在利用區塊鏈瀏覽器驗證你的智能合約程式碼,在區塊鏈瀏覽器上操作智能合約或是自架網站UI串接智能合約。 你對得住自己的良心道德,就對得住佛(宣化上人)
Thumbnail
2022-05-06
1
智能合約開發實戰(十) - Array 陣列這篇我們來看一個在程式開發很常見也很常用的一個東西:Array 陣列 Array在所有的程式開發中還蠻常見的,也一定會出現,因為有很多的資料都會是一長串的,需要有一個物件來去做集中管理。
Thumbnail
2022-03-19
3