Published January 27, 2019
| Version v1
Other
Restricted
Gigahorse: Thorough, Declarative Decompilation of Smart Contracts
Authors/Creators
- 1. University of Athens
- 2. The University of Sydney
Description
Paper title: Gigahorse: Thorough, Declarative Decompilation of Smart Contracts
This research artifact contains the Gigahorse toolchain described in our paper, and a sample dataset. It includes instructions to run Gigahorse and reproduce the results presented in our paper.
Technology skills/systems required:
We assume basic knowledge of Unix tools and shells. Our instructions assume that the reviewer is using a Unix-like system with Docker, curl, and bunzip2 installed.
Notes
Research artifact corresponding to ICSE'19 technical paper "Gigahorse: Thorough, Declarative Decompilation of Smart Contracts"
Files
Restricted
The record is publicly accessible, but files are restricted. <a href="https://zenodo.org/account/settings/login?next=https://zenodo.org/records/2578692">Log in</a> to check if you have access.