[論文レビュー] Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey

Purathani Praitheeshan, Lei Pan+3 more|arXiv (Cornell University)|Aug 22, 2019

Blockchain Technology Applications and Security参考文献 119被引用数 45

ひとこと要約

本調査は、Ethereumスマートコントラクトの脆弱性16件とソフトウェアセキュリティ上の問題19件を分析し、静的/動的解析および形式検証ツールを検討し、課題と今後の方向性について論じる。

ABSTRACT

Smart contracts are software programs featuring both traditional applications and distributed data storage on blockchains. Ethereum is a prominent blockchain platform with the support of smart contracts. The smart contracts act as autonomous agents in critical decentralized applications and hold a significant amount of cryptocurrency to perform trusted transactions and agreements. Millions of dollars as part of the assets held by the smart contracts were stolen or frozen through the notorious attacks just between 2016 and 2018, such as the DAO attack, Parity Multi-Sig Wallet attack, and the integer underflow/overflow attacks. These attacks were caused by a combination of technical flaws in designing and implementing software codes. However, many more vulnerabilities of less severity are to be discovered because of the scripting natures of the Solidity language and the non-updateable feature of blockchains. Hence, we surveyed 16 security vulnerabilities in smart contract programs, and some vulnerabilities do not have a proper solution. This survey aims to identify the key vulnerabilities in smart contracts on Ethereum in the perspectives of their internal mechanisms and software security vulnerabilities. By correlating 16 Ethereum vulnerabilities and 19 software security issues, we predict that many attacks are yet to be exploited. And we have explored many software tools to detect the security vulnerabilities of smart contracts in terms of static analysis, dynamic analysis, and formal verification. This survey presents the security problems in smart contracts together with the available analysis tools and the detection methods. We also investigated the limitations of the tools or analysis methods with respect to the identified security vulnerabilities of the smart contracts.

研究の動機と目的

• 資産損失を引き起こした主要なEthereumスマートコントラクトの脆弱性を特定する（例：DAO、Parity）
• 脆弱性をソフトウェアセキュリティ上の問題にマッピングし、根本原因を理解する
• セキュリティ分析手法（静的、動的、形式検証）とそれらのツールを分類・比較する
• 分析手法の限界を評価し、今後の研究の方向性を提案する
• 実務者向けに、安全なスマートコントラクト開発と検証の指針を提供する

提案手法

• 高品質なジャーナルとトップカンファレンスからのEthereumスマートコントラクトのセキュリティに関する文献をレビュー・統合する（約125件の論文）
• 16のEthereum脆弱性と19のソフトウェアセキュリティ問題を関連付け、悪用の可能性を予測する
• セキュリティ分析手法を静的分析、動的分析、形式検証に分類する
• 分析手法を脆弱性の知見と、ツールおよび検証モデルのカバレッジと照合する
• 特定された脆弱性に関連して、ツール/手法の限界を要約する
• 実世界の攻撃（例：DAO、Parity Multisig Wallet、整数オーバーフロー/アンダーフロー）と緩和策を論じる

実験結果

リサーチクエスチョン

• RQ1 Ethereumスマートコントラクトに対する主要な攻撃で、重大な仮想通貨の損失を引き起こしたものは何か？
• RQ2 スマートコントラクトの脆弱性はシステムにどのように影響し、攻撃者はどのように悪用しているのか？
• RQ3 Ethereum上のスマートコントラクトの問題を検証・検証するためのセキュリティ分析手法にはどのようなものがあるか？
• RQ4 既存のツールと形式検証手法は、特定された脆弱性をどれだけ網羅しているか？

主な発見

• The DAO attack (2016) demonstrated a re-entrancy vulnerability enabling recursive withdrawals before state updates.
• The Parity Multi-Sig Wallet attack (2017) exposed weaknesses in external libraries and lack of access control across deployed wallets.
• Integer overflow/underflow attacks (e.g., 2018 POWH coin) show how fixed-size integer types enable asset theft, mitigated by SafeMath and similar approaches.
• Solidity programming practices (e.g., use of call.value, missing access modifiers) contribute to critical vulnerabilities.
• The survey correlates 16 Ethereum vulnerabilities with 19 software security issues, highlighting many attacks remain exploitable.
• Security analysis methods are categorized and evaluated for their coverage, limitations, and applicability to vulnerability detection and formal verification.