フォルダ構成

データセットは4つのフォルダに整理されています。

• papers/: 予備的な結果をまとめたICSE23論文と、その補足資料が含まれています。
• results/: bugs.csvのバグ分類と、contests.csvの各コンテストの説明が含まれています。
• contracts/: 調査したすべてのスマートコントラクトが、コンテスト時点のバージョンで含まれています。
• reports/: code4renaが提供したすべてのレポートが含まれています。

バグのラベル

調査対象のバグをその性質に基づいて次の3つの主要カテゴリに分類します。

• スコープ外のバグ（__O__と表記）
• 単純で一般的なテストオラクルで検出できるバグ（__L__と表記）
• 高レベルなセマンティックオラクルを必要とするバグ（__S__と表記）

機能バグの分類は曖昧になる可能性があるため、分類基準を改善するための提案を歓迎します。詳細なラベル情報はドキュメントにあります。現在の分類ガイドラインも参照することをお勧めします。

推奨セキュリティ分析ツール

私たちの目標は、Web3開発者とセキュリティアナリストにとって貴重なリソースとなる、脆弱性検出手法の包括的なリストを作成することです。次の2つの主要カテゴリに焦点を当てます。

• スマートコントラクト向けのセマンティックオラクルの開発を優先する脆弱性検出手法
• 監査に使用できる公開済みのセキュリティ分析ツール

コミュニティからの追加の提案や貢献を、リストの拡張と改善のために心から歓迎します。

自動セマンティックオラクルによる脆弱性検出

私たちは、将来のweb3セキュリティの取り組みでは、機能バグの特定と対応するオラクルの開発が優先されるだろうと考えています。そのために、自動セマンティックオラクルの作成に指針を与える手法のリストをまとめる予定です。これらの手法は、査読付き研究論文、プレプリント、業界ツール、オンラインリソースなど、さまざまな資料から収集されます。

公開されているセキュリティ分析手法

このセクションでは、公開されており現在活発に開発が進められているオープンソース手法を紹介します。これらの手法は、Web3開発者やセキュリティアナリストが直接使用できるほか、他のツールの構成要素としても利用できます。Web3開発や監査の文脈に適したソースコードレベルの手法を優先的に取り上げています。

Web3セキュリティのための貴重なリソース

貢献

プロジェクトへのあらゆる種類の貢献を歓迎します。以下に限定されませんが、次のようなものがあります。

• スマートコントラクトセキュリティ分析のための新しい参照手法の提案。
• 新たに公開されたcode4renaコンテストのバグの追加
• 分類基準の改善提案
• 誤ってラベル付けされたバグの修正
• results/contests.csvに欠落しているdefillamaエンティティの補充

詳細は貢献ガイドラインに記載されています。

引用

学術出版物で当データセットを使用される場合は、以下の研究成果を引用していただけると幸いです。``` @inproceedings{DBLP:conf/icse/ZhangZXL23, author = {Zhuo Zhang and Brian Zhang and Wen Xu and Zhiqiang Lin}, title = {Demystifying Exploitable Bugs in Smart Contracts}, booktitle = {{ICSE}}, pages = {615--627}, publisher = {{IEEE}}, year = {2023} }