Doppler Doppler 1484 9508 53 16004 60 246773 39123 140 31093
185594 32749 151 20995 406 575020
200639 420928 8571
Crosshair Crosshair

Gigahorse: Thorough, Declarative Decompilation of Smart Contracts

The rise of smart contract—autonomous applications running on blockchains—has led to a growing number of threats, necessitating sophisticated program analysis. However, smart contracts, which transact valuable tokens and cryptocurrencies, are compiled to very low-level bytecode. This bytecode is the ultimate semantics and means of enforcement of the contract.

We present the Gigahorse toolchain. At its core is a reverse compiler (i.e., a decompiler) that decompiles smart contracts from Ethereum Virtual Machine (EVM) bytecode into a high- level 3-address code representation.

Read more