Repositories list

• oyente_plus

  Public
  An Analysis Tool for Smart Contracts

  Python

  •

  GNU General Public License v3.0

  •316•3•0•0•Updated Mar 30, 2026Mar 30, 2026

• smartbugs

  Public
  SmartBugs: A Framework to Analyze Ethereum Smart Contracts

  ethereumblockchainsolidity+ 1

  ethereumblockchainsolidityvulnerability

  Python

  •

  Apache License 2.0

  •158•666•3•0•Updated Mar 30, 2026Mar 30, 2026

• oyente

  Public
  An Analysis Tool for Smart Contracts

  JavaScript

  •

  GNU General Public License v3.0

  •316•2•0•0•Updated Aug 3, 2025Aug 3, 2025

• smartbugs-curated

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

  benchmarkethereumblockchain+ 2

  benchmarkethereumblockchaindatasetsolidity

  Solidity

  •

  Apache License 2.0

  •34•140•6•0•Updated Jun 16, 2024Jun 16, 2024

• conkas

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

  Python

  •

  GNU Affero General Public License v3.0

  •18•2•0•0•Updated Feb 12, 2023Feb 12, 2023

• py-solc-x

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

  Python

  •

  MIT License

  •48•1•0•0•Updated Dec 18, 2022Dec 18, 2022

• sarif-tests

  Public
  Solidity

  •0•0•0•0•Updated Nov 21, 2022Nov 21, 2022

• smartbugs-dashboard

  Public archive
  DEPRECATED: Web-based User Interface for SmartBugs

  deprecatedobsoletedeprecated-repo

  deprecatedobsoletedeprecated-repo

  Vue

  •

  Apache License 2.0

  •8•11•0•23•Updated Nov 21, 2022Nov 21, 2022

• MAIAN

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

  Python

  •

  MIT License

  •162•16•0•0•Updated Mar 1, 2022Mar 1, 2022

• smartbugs-results

  Public
  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 Durieu…

  Apache License 2.0

  •26•82•3•0•Updated Jul 24, 2020Jul 24, 2020

• SolidiFI-benchmark

  Public
  Repository of benchmarks to evaluate Solidity Smart contract analysis tools

  Python

  •

  Other

  •22•17•0•0•Updated Jun 23, 2020Jun 23, 2020

• smartbugs-wild

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

  benchmarkethereumblockchain+ 2

  benchmarkethereumblockchaindatasetsolidity

  Python

  •

  Apache License 2.0

  •48•201•1•0•Updated Jun 3, 2020Jun 3, 2020

• smartbugs.github.io

  Public
  SmartBugs Webpage

  HTML

  •0•2•1•0•Updated May 14, 2019May 14, 2019