This project is the supporting material of the paper titled "SmartFast: An Accurate and Robust Formal Analysis Tool for Ethereum Smart Contracts", including: data set, test results, result report, source code, etc.
The folder "Dataset1" includes 149 smart contract files in Dataset_1, and the detection results of each tool.
The folder "Dataset2" includes 13509 (8503+5006) Ethereum smart contract files in Dataset_2, and the detection results of each tool.
The folder "Report" includes a detailed contract audit report and a simplified contract audit report. From these two reports, we can know the details of SmartFast's 119 security patterns. However, the difference between streamlined and detailed: the results of the secure audit mode are not displayed in the streamlined contract audit report.
The folder "smartfast" includes part of the source code of SmartFast and its installation and usage tutorials. We promise to disclose all the source code when the paper is accepted.
The folder "VulnerabilityMapping" includes the mapping of vulnerabilities detected by tools in 135 vulnerabilities.
The folder "Obfuscation" includes the smart contract code before and after the obfuscation.
The folder "VulnerabilityIncidents" includes the contract code for the public vulnerability incidents.
The file "VulnerabilityDescription.xlsx" describes the introduction of 136 vulnerabilities.