Doppler Doppler 1667 14974 63 35551 75 26354 52296 56 32528
132236 10128 148 21732 228 326795
196671 537672 5805
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