Pinned Repositories
conkas
Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
MAIAN
MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
py-solc-x
Python wrapper and version management tool for the solc Solidity compiler.
smartbugs
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
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.
smartbugs-dashboard
DEPRECATED: Web-based User Interface for SmartBugs
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-wild
This repository contains 47,398 smart contracts extracted from the Ethereum network.
smartbugs.github.io
SmartBugs Webpage
SolidiFI-benchmark
Repository of benchmarks to evaluate Solidity Smart contract analysis tools
smartbugs's Repositories
smartbugs/smartbugs
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
smartbugs/smartbugs-wild
This repository contains 47,398 smart contracts extracted from the Ethereum network.
smartbugs/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.
smartbugs/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/SolidiFI-benchmark
Repository of benchmarks to evaluate Solidity Smart contract analysis tools
smartbugs/MAIAN
MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
smartbugs/smartbugs-dashboard
DEPRECATED: Web-based User Interface for SmartBugs
smartbugs/smartbugs.github.io
SmartBugs Webpage
smartbugs/conkas
Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
smartbugs/oyente
An Analysis Tool for Smart Contracts
smartbugs/py-solc-x
Python wrapper and version management tool for the solc Solidity compiler.
smartbugs/sarif-tests