GitHub repository: lisa-analyzer/evm-lisa
Primary language: Solidity
Description: EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode