{"repo":"lisa-analyzer/evm-lisa","free":true,"listed":false,"github":"https://github.com/lisa-analyzer/evm-lisa","clone":"git clone https://github.com/lisa-analyzer/evm-lisa.git","description":"EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode","language":"Solidity","stars":37,"topics":["abstract-interpretation","ethereum","evm-bytecode","smart-contracts","static-analysis","cfg","control-flow-graph"],"license":"MIT","category":"blockchain-web3","readme_excerpt":"EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode EVMLiSA is a static analyzer based on abstract interpretation for EVM bytecode of smart contracts deployed on Ethereum blockchain and built upon LiSA. Given a EVM bytecode smart contract, EVMLiSA builds a sound and precise control-flow graph of the smart contract. EVMLiSA is based on peer-reviewed publications: 1. Vincenzo Arceri, Saverio Mattia Merenda, Luca Negrini, Luca Olivieri, Enea Zaffanella. \"EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode\" . Blockchain: Research and Applications, 2025 (doi: 10.1016/j.bcra.2025.100384). 2. Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella. \"Towards a Sound Construction of EVM Bytecode Control-Flow Graphs\" . In Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024), co-located with ECOOP 2024 (doi: 10.1145/3678721.3686227). Table of Contents - Requirements - Installation - Environment Setup - Execution Methods - Using Docker - Using CLI - Options - The Abstract Stack Set Domain - Jump Classification - Usage Example - Example Output - EVMLiSA as a Library --- Requirements To build and run EVMLiSA, you will need: - JDK 11 or higher (optional when using Docker) - Gradle 8.0 or higher (optional when using Docker) - Etherscan API key Installation 1. Clone the repository: 2. (Optional) Import the project into Eclipse or IntelliJ as a Gradle p","default_branch":null,"files":null,"tree":[],"storefront":"/r/lisa-analyzer","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/lisa-analyzer/evm-lisa/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."}