Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts

Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and reproduce that research. To address this, we present an empirical evaluation of 9 state-of-the-art automated analysis tool...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) S. 530 - 541
Hauptverfasser:	Durieux, Thomas, Ferreira, Joao F., Abreu, Rui, Cruz, Pedro
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 01.10.2020
Schlagworte:	Blockchain Debugging Ethereum Reproducible Bugs Smart contracts Solidity Testing
ISSN:	1558-1225
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!