SmartBugs

smartbugs

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

smartbugs-wild

This repository contains 47,398 smart contracts extracted from the Ethereum network.

smartbugs-results

This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented and discussed in Durieux et al. (ICSE 2020)

smartbugs-curated

SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate the accuracy of automated analysis tools.

MAIAN

MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

SolidiFI-benchmark

Repository of benchmarks to evaluate Solidity Smart contract analysis tools

smartbugs-dashboard

DEPRECATED: Web-based User Interface for SmartBugs

smartbugs.github.io

SmartBugs Webpage

conkas

Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution

oyente

An Analysis Tool for Smart Contracts

py-solc-x

Python wrapper and version management tool for the solc Solidity compiler.

sarif-tests