Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz: Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts. Zenodo 2020