{"repo":"nevillegrech/gigahorse-toolchain","free":true,"listed":false,"github":"https://github.com/nevillegrech/gigahorse-toolchain","clone":"git clone https://github.com/nevillegrech/gigahorse-toolchain.git","description":"A binary lifter and analysis framework for Ethereum smart contracts","language":"HTML","stars":382,"topics":["decompiler","security-tools","ethereum","blockchain-technology","framework"],"license":null,"category":"blockchain-web3","readme_excerpt":"NOTE : you need to clone this repo using the --recursive flag since this repo has submodules, e.g., git clone git@github.com:nevillegrech/gigahorse-toolchain.git --recursive . If you already cloned without --recursive , run git submodule update --init --recursive to fetch the souffle-addon submodule. The Gigahorse binary lifter and toolchain A binary lifter (and related framework) from low-level EVM code to a higher-level function-based three-address representation, similar to LLVM IR or Jimple. Quickstart Running/Installing Gigahorse from local clone (requires souffle ) Our dependencies installation Dockerfile can be used as a reference for installing the dependencies of Gigahorse on a debian-based system. The Dockerfile also includes the instructions to build souffle 2.4.1 from source. In summary, you need to have the following things installed on your system: - Boost libraries, required for souffle-addon (Can be installed on Debian with apt install libboost-all-dev ) - Z3, required for souffle-addon (Can be installed on Debian with apt install libz3-dev ) - uv, the Astral Python project manager. uv provisions the required Python interpreter ( 3.13 , pinned in .python-version ) and the project's Python dependencies for you — see the environment setup step below. (Install with curl -LsSf https://astral.sh/uv/install.sh sh .) - Souffle 2.3 or 2.4.1 (We only test using the release versions, later development versions may work but are untested by us. The easiest way to install ","default_branch":null,"files":null,"tree":[],"storefront":"/r/nevillegrech","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/nevillegrech/gigahorse-toolchain/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}