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

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

Security and Verification in Computing被引用数 91

ひとこと要約

この調査は Ethereum のスマートコントラクトの脆弱性を分析し、主要な攻撃を調査し、脆弱性をソフトウェアセキュリティの問題に対応づけ、静的・動的・形式検証分析ツールをレビューします。Ethereum 上の脆弱性検知のギャップと今後の方向性を強調します。

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 スマートコントラクトの脆弱性を特定する。
• これらの脆弱性がどのように悪用され、Ethereum ベースのシステムに与える影響を分析する。
• 既存のセキュリティ分析手法（静的、動的、形式検証）とその有効性を調査する。
• 脆弱性の調査結果をソフトウェアセキュリティの問題と相関付け、カバレッジの欠如と傾向を明らかにする。
• 脆弱性検知と安全なスマートコントラクト開発における今後の研究方向性を示す。

提案手法

• 16 個の Ethereum の脆弱性を 19 個のソフトウェアセキュリティの問題にマッピングして分類する。
• セキュリティ分析手法を静的分析、動的分析、形式検証に分類・整理する。
• 脆弱性検出と検証に使用されるツールと検証モデルを調査する。
• 特定された Ethereum の脆弱性に関して、ツールと手法の限界を分析する。
• 主要な攻撃（例：DAO、Parity）からの教訓を統合し、ベストプラクティスとリスク要因を抽出する。

実験結果

リサーチクエスチョン

• RQ1 Ethereumスマートコントラクトにおける主要な攻撃で、 substantial crypto-asset losses を引き起こしたものは何ですか？
• RQ2 これらの攻撃の間、スマートコントラクトの脆弱性は攻撃者をどのように可能にするのか？
• RQ3 Ethereum 上のスマートコントラクト問題を検証・検証するために利用可能なセキュリティ分析手法は何か？
• RQ4 特定された脆弱性は一般的なソフトウェアセキュリティ問題にどのように対応付けられ、現在のツールにはどのようなギャップが残っているか？
• RQ5 Ethereum スマートコントラクトの安全性における今後の研究の推奨方向は何か？

主な発見

• The DAO attack illustrates a re-entrancy vulnerability where recursive calls exhaust funds.
• Parity Multisig Wallet attack shows how public libraries and delegatecall enable full control and asset freezing.
• Integer overflow/underflow vulnerabilities can enable value manipulation and fund loss without compiler errors; SafeMath.sol mitigates this risk.
• Many vulnerabilities stem from Solidity language features and the immutability of deployed contracts, complicating post-deployment fixes.
• The survey correlates 16 Ethereum vulnerabilities with 19 software security issues to reveal coverage gaps in current tools and practices.
• Security analysis tools span static, dynamic, and formal verification, each with specific limitations in detecting Ethereum-specific vulnerabilities.