gigahorse-toolchain

Gigahorse is a binary lifter and toolchain designed for decompiling and analyzing Ethereum smart contracts by translating low-level EVM code into a higher-level, function-based three-address representation, akin to LLVM IR or Jimple. It provides a robust framework for contract analysis with optional feature sets for Datalog parsing and interactive visualization. The tool facilitates easy integration and deployment via Docker, along with comprehensive setup instructions for dependencies, making it accessible for various environments.