Smartbugs
SmartBugs is an execution framework that simplifies the execution of automated analysis tools on datasets of Solidity smart contracts. For more details, see list of publications below or visit SmartBugs’s webpage.
Computer Scientist
My research interests include software reliability, software verification, and formal methods applied to software engineering. I am also interested in interactive storytelling. For more details, see some of my projects or my selected (or recent) publications. More posts are available in my blog. Follow me on Twitter or add me on LinkedIn.
Posts
SmartBugs: An Execution Framework for Automated Analysis of Smart Contracts
SmartBugs is a new execution framework that simplifies the execution of automated analysis tools on datasets of Solidity smart contracts.
SmartBugs currently supports 10 tools. It has a simple plugin system to easily add new analysis tools, based on Docker images. It supports parallel execution of the tools to speed up the execution time. It also normalizes the output that tools produce to facilitate experiments.
SmartBugs was developed in the context of an empirical review of automated analysis tools on 47,587 Ethereum smart contracts.
Publications
(2024).
Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study.
In EMSE, 29(2), pp. 1-44.
Q1 Journal.
(2023).
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts.
In ASE 2023, Tool Demo Track.
CORE A* conference.
(2020).
SmartBugs: A Framework to Analyze Solidity Smart Contracts.
In ASE 2020, Tool Demo Track.
CORE A* conference.
(2020).
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts.
In ICSE 2020.
Awarded: Artifact Evaluation Award (Available, Reusable). Most cited paper from ICSE 2020 (Google Scholar Metrics).
CORE A* conference.