« Home

Project: EVMLiSA

An abstract interpretation-based static analyzer for EVM bytecode.

Java

EVMLiSA is a specific implementation of a static analyzer using the LiSA (Library for Static Analysis) library to conduct static analysis of Ethereum Virtual Machine (EVM) bytecode. In particular, it is dedicated to generate a complete Control‑Flow Graph (CFG) of smart contracts deployed on the Ethereum blockchain. EVMLiSA’s primary objective is to provide semantic information and valuable warnings for developers and security auditors.

EVMLiSA is distributed under the MIT license, and it is available on GitHub.

Code:	GitHub
Website:	Link

Related works

B.S. in Computer Science
Towards a Sound Construction of EVM Bytecode Control-flow Graphs
Towards a Sound Construction of EVM Bytecode Control-flow Graphs