SmartBugs: A Framework to Analyze Solidity Smart Contracts.
João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu (2020)
ASE 2020
Project Page
|
Dataset
|
Experimental Dashboard
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts.
Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz (2020)
ICSE 2020
Awarded: Artifact Evaluation Award (Available, Reusable)
Project Page
|
Dataset
|
Experimental Dashboard
A Study of Static Analysis Tools for Ethereum Smart Contracts.
Pedro Cruz (2019)
Thesis Extended Abstract