Published September 8, 2021
| Version v1
Software
Open
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts (Artifact)
Authors/Creators
- 1. University of Athens
- 2. University of Malta
Description
This is the artifact for the paper:
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris.
In Proceedings of the ACM in Programming Languages (OOPSLA) 2021
For more details, see file README.md.