Ecole d'ingénieur et centre de recherche en Sciences du numérique

A survey of tools for analyzing Ethereum smart contracts

di angelo, Monika; Salzer, Gernot

DAPPCON 2019, IEEE International Conference on Decentralized Applications and Infrastructures, April 5-9, 2019, East Bay, San Francisco, California, USA

Smart contracts are at the heart of many decentralized applications, encapsulating core parts of the business logic. They handle the exchange of valuable assets like crypto-currencies or tokens in a transparent, decentralized manner. Being computer programs, they are also prone to programming errors, which have already lead to spectacular losses. Therefore, methods and tools have emerged to support the development of secure smart contracts and to aid the analysis of deployed ones. Assessing the quality of such tools turns out to be difficult. There are academic tools, tools developed by companies, and community tools in open repositories, but no comprehensive survey that may serve as a guide. Most discussions of related work in research papers are not helpful either, as they concentrate on methods rather than tools, base their review on publications about the tools rather than the tools themselves, or disregard tools outside of academia. Our survey aims at filling this gap by considering tools regardless of their provenance and by installing and testing them. It is meant as a guide for those who intend to analyze already deployed code, want to develop secure smart contracts, or plan to teach a related subject. We investigate 27 tools for analyzing Ethereum smart contracts regarding availability, maturity level, methods employed, and detection of security issues.

Document Doi Bibtex

Titre:A survey of tools for analyzing Ethereum smart contracts
Mots Clés:analysis, comparison, Ethereum, smart contracts, survey, tools
Ville:San Francisco
Département:Sécurité numérique
Eurecom ref:5936
Copyright: © 2019 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Bibtex: @inproceedings{EURECOM+5936, doi = {}, year = {2019}, title = {{A} survey of tools for analyzing {E}thereum smart contracts}, author = {di angelo, {M}onika and {S}alzer, {G}ernot}, booktitle = {{DAPPCON} 2019, {IEEE} {I}nternational {C}onference on {D}ecentralized {A}pplications and {I}nfrastructures, {A}pril 5-9, 2019, {E}ast {B}ay, {S}an {F}rancisco, {C}alifornia, {USA}}, address = {{S}an {F}rancisco, {\'{E}}{TATS}-{UNIS}}, month = {04}, url = {} }
Voir aussi: