{"repo":"costa-group/EthIR","free":true,"listed":false,"github":"https://github.com/costa-group/EthIR","clone":"git clone https://github.com/costa-group/EthIR.git","description":"A framework for high-level Analysis of Ethereum Bytecode","language":"Python","stars":22,"topics":["static-analysis","ethereum","evm","smart-contract","decompiler"],"license":"GPL-3.0","category":"blockchain-web3","readme_excerpt":"EthIR ===== [![License: GPL v3][license-badge]][license-badge-url] A framework for high-level Analysis of Ethereum Bytecode. EthIR builds a complete and sound CFG of a Ethereum bytecode and generates a rule-based representation (RBR) of the program. This high-level representation enables the application of existing high-level analyses to infer properties of EVM code. Installation (Ubuntu) 1. Install Solidity compiler Download the folder source that contains a static executable of Solidity compiler. Add it to the PATH and test that it is installed. In case you want to install the latest version: In addition, it supports solc-select . In order to install it, run: 2. Install Ethereum A static executable is provided in the folder source. Add ot to the PATh and test that it is installed. In case you want to install the latest version: 3. Install Z3 (last version tested 4.5.0) Download the source code folder. Decompress the folder and install it. 4. Install dependencies (last pip version tested 8.1.1) Use pip install command to install six, requests python libraries. The above commands may fail depending on the pip version. If it is the case, run the following command instead of the previous ones. To check the version run the command pip -V . Run EthIR To execute EthIR, run one of the following commands inside the folder ethir : 1. Run EthIR from a solidity file: 2. Run EthIR from an EVM file: 3. Run EthIR from a disassembly EVM file: Options The command ./ethir.py -h displays a li","default_branch":null,"files":null,"tree":[],"storefront":"/r/costa-group","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/costa-group/EthIR/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."}