Published January 27, 2019 | Version v1
Other Open

Gigahorse: Thorough, Declarative Decompilation of Smart Contracts

  • 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

ICSE19-gigahorse-artifact.zip

Files (828.4 MB)

Name Size Download all
md5:094f2fa35be0689be9addf726f60105c
828.4 MB Preview Download

Additional details

Funding

Discovery Projects - Grant ID: DP180104030 DP180104030
Australian Research Council