GitHub repository: sambacha/s3a
Primary language: Python
Created: 2025-03-22T04:18:16Z
Description: SMT-based Symbolic Storage Analysis for EVM bytecode to identify storage variables, their types, and patterns.