Pinned Loading
Repositories
Showing 10 of 13 repositories
- 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.
- conkas Public Forked from nveloso/conkas
Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
- py-solc-x Public Forked from ApeWorX/py-solc-x
Python wrapper and version management tool for the solc Solidity compiler.
- sarif-tests Public
- MAIAN Public Forked from ivicanikolicsg/MAIAN
MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
- 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)