Journal article Open Access

Precise Static Modeling of Ethereum "Memory" (artifact)

Sifis Lagouvardos; Neville Grech; Ilias Tsatiris; Yannis Smaragdakis

This is the artifact for the paper:
Precise Static Modeling of Ethereum "Memory",
Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, and Yannis Smaragdakis.
In Proceedings of the ACM in Programming Languages (OOPSLA) 2020

For more details, see file README.md.

Files (577.4 MB)
Name Size
eth-memory-modeling.tar.bz2
md5:26b3626d1817c4d997e6fc51b988a15b
577.4 MB Download
LICENSE.txt
md5:ec70efb9288072681e47b5dc1d788098
1.8 kB Download
README.md
md5:eee9bc584b8b69133c89eada72f81bd1
13.4 kB Download
113
26
views
downloads
All versions This version
Views 113113
Downloads 2626
Data volume 6.4 GB6.4 GB
Unique views 102102
Unique downloads 2121

Share

Cite as