8000 SmartBugs · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@smartbugs

SmartBugs

A Framework to Analyze Ethereum Smart Contracts

Pinned Loading

  1. smartbugs smartbugs Public

    SmartBugs: A Framework to Analyze Ethereum Smart Contracts

    Python 625 156

  2. smartbugs-curated 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 analysis tools.

    Solidity 102 27

  3. smartbugs-wild smartbugs-wild Public

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

    Python 177 39

  4. smartbugs-results 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 Durieux et al. (ICSE 2020)

    78 27

Repositories

Showing 10 of 13 repositories
  • oyente_plus Public Forked from smartbugs/oyente

    An Analysis Tool for Smart Contracts

    smartbugs/oyente_plus’s past year of commit activity
    JavaScript 0 GPL-3.0 325 0 1 Updated Jul 10, 2025
  • smartbugs Public

    SmartBugs: A Framework to Analyze Ethereum Smart Contracts

    smartbugs/smartbugs’s past year of commit activity
    Python 625 Apache-2.0 156 4 (1 issue needs help) 2 Updated Jul 10, 2025
  • oyente Public Forked from enzymefinance/oyente

    An Analysis Tool for Smart Contracts

    smartbugs/oyente’s past year of commit activity
    JavaScript 1 GPL-3.0 325 0 0 Updated Jun 4, 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 analysis tools.

    smartbugs/smartbugs-curated’s past year of commit activity
    Solidity 102 Apache-2.0 27 6 0 Updated Jun 16, 2024
  • conkas Public Forked from nveloso/conkas

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

    smartbugs/conkas’s past year of commit activity
    Python 2 AGPL-3.0 16 0 0 Updated Feb 12, 2023
  • py-solc-x Public Forked from ApeWorX/py-solc-x

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

    smartbugs/py-solc-x’s past year of commit activity
    Python 1 MIT 51 0 0 Updated Dec 18, 2022
  • sarif-tests Public
    smartbugs/sarif-tests’s past year of commit activity
    Solidity 0 0 0 0 Updated Nov 21, 2022
  • smartbugs-dashboard Public archive

    DEPRECATED: Web-based User Interface for SmartBugs

    smartbugs/smartbugs-dashboard’s past year of commit activity
    Vue 11 Apache-2.0 8 0 23 Updated Nov 21, 2022
  • MAIAN Public Forked from ivicanikolicsg/MAIAN

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

    smartbugs/MAIAN’s past year of commit activity
    Python 15 MIT 166 0 0 Updated Mar 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 Durieux et al. (ICSE 2020)

    smartbugs/smartbugs-results’s past year of commit activity
    78 Apache-2.0 27 3 0 Updated Jul 24, 2020
View all repositories
0