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
304
95
views
downloads
All versions This version
Views 304304
Downloads 9595
Data volume 30.6 GB30.6 GB
Unique views 281281
Unique downloads 6565
More info on how stats are collected.
Indexed in
Publication date:
September 30, 2020
DOI:
10.5281/zenodo.4059797

Zenodo DOI Badge

DOI 

10.5281/zenodo.4059797

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4059797.svg)](https://doi.org/10.5281/zenodo.4059797)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4059797.svg
   :target: https://doi.org/10.5281/zenodo.4059797

HTML 

<a href="https://doi.org/10.5281/zenodo.4059797"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4059797.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4059797.svg

Target URL 

https://doi.org/10.5281/zenodo.4059797

Keyword(s):
ethereum EVM static analysis
Meeting:
Proceedings of the ACM on Programming Languages (OOPSLA)
License (for files):
BSD licenses (New and Simplified)

Versions

Version 1.0 10.5281/zenodo.4059797 Sep 30, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4059796. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export