To foster future research and facilitate reproducibility, all of the evaluation data and code can be accessed from the following download links.
Note: The Zip file tree structure:
evaluation_data
├── BNB_Benchmark.csv
├── Not-So-Smart-Contracts.csv
├── Smartbugs-Curated.csv
├── Smart_Contract_Benchmark_Suite.csv
└── SolidiFI_Benchmark.csv
./dataset_result/
├── BNB
├── not-so-smart-contracts
├── smartbugs-curated
├── Smart-Contract-Benchmark-Suites
└── SolidiFI-benchmark
./code
├── check_md5.py
├── scrawl_mythril.py
└── smartbugs-extend (Up-to-date version at our GitHub: MarkLee131/smartbugs: SmartBugs: A Framework to Analyze Ethereum Smart Contracts )
The Benchmark data was also released below!