Automated Vulnerability Detection in Ethereum Bytecode: A Large Empirical Investigation

<h3><strong>Evolution of Automated Weakness Detection in EVM Bytecode: a Comprehensive Study</strong></h3> <p>This repository contains the empirical data of '<em>Evolution of Automated Weakness Detection in EVM Bytecode: a Comprehensive Study</em>'. This repository contains:</p> <ul> <li>the 248328 unique smart contracts (in the <em>skelcodes.tar.gz</em> file)</li> <li>the results of the executions of 13 tools on the 248328 (in the <em>results.tar.gz</em> file)</li> <li>The results of RQ1 (in the variability.tar.gz)</li> </ul> <p>The extension of <a href="https://github.com/smartbugs/smartbugs" target="_blank">SmartBugs</a> to support bytecode analysis and the new tools is available at <a href="https://github.com/smartbugs/smartbugs" target="_blank">https://github.com/smartbugs/smartbugs.</a></p> <h3><strong>Uncompressed size</strong></h3> <ul> <li>skelcodes.tar.gz: 4.7G</li> <li>emse_results.tar.gz: 138G</li> <li>variability.tar.gz: 2.3G</li> </ul> <h3>Repository structure</h3> <p>├─ results.tar.gz<br> │  └─ tool_name<br> │     └─ execution_name<br> │        └─ block-contract_address<br> │           ├─ result.log  # stdout of the analysis<br> │           └─ result.json # parsable output analysis<br> ├─ skelcodes.tar.gz<br> │  └─ block<br> │     └─ block-contract_address.hex<br> ├─ variability.tar.gz<br> │  └─ tool_name<br> │     └─ execution_name<br> │        └─ block-contract_address<br> │           ├─ result.log  # stdout of the analysis<br> └─          └─ result.json # parsable output <br> <br> results.json structure</p> <p><br> {<br> "contract": "path",<br> "tool": "tool_name",<br> "start": start_date,<br> "end": end_date,<br> "exit_code": docker_run_exit_code,<br> "duration": duration,<br> "findings": [finding_name],<br> "messages": [warning message],<br> "errors": [error message],<br> "fails": [failure_name],<br> "analysis": [tool_specific_output],<br> "parser": {<br>  "name": "parser_name",<br>  "version": "parser_version"<br>  }<br> }</p> <p><br> </p>