Published November 28, 2025 | Version v1
Software Open

Precise Static Identification of Ethereum Storage Variables (Artifact)

  • 1. ROR icon National and Kapodistrian University of Athens
  • 2. Dedaub ltd
  • 3. Friendly Maltese Citizens
  • 4. University of Malta

Description

This is the artifact of our ICSE'26 paper entitled "Precise Static Identification of Ethereum Storage Variables".

Files

Artifact-Documentation.md

Files (14.2 GB)

Name Size Download all
md5:ed2fbe3cc7ca6d6ecf6e1a845aca7236
21.4 kB Preview Download
md5:54d7cb5a061ffc74bf6f065a11be8f0e
14.2 GB Download

Additional details

Funding

European Commission
PINDESYM - Program Intelligence, Declaratively and Symbolically 101095951