OpenZeppelin Contracts is a library for secure smart contract development.

Reproduce DeFi hacked incidents using Foundry.

Guidelines and training material to write secure smart contracts

To learn common smart contract vulnerabilities using Foundry!

Smart contracts which are formally verified

Securify v2.0

A private payment system for Ethereum-based blockchains, with no trusted setup.

Minimalist template for foundry projects

Beginner's Series to Blockchain

Benchmark Generator for Smart-Contract Fuzzers

A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).

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.

Metatrust fork of Slither Analyzer

EF/CF - Extremely Fast smart Contract Fuzzing

Solidity grammar for ANTLR4

DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.

HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281/zenodo.4680168

Smart contracts for the Raft protocol

MANDO is a new heterogeneous graph representation to learn the heterogeneous contract graphs' structures to accurately detect vulnerabilities in smart contract source code at both coarse-grained co…

Solidity contracts and tests used to benchmark performance of fuzzers

Consolidated Ground Truth (CGT) for Weaknesses of Ethereum Smart Contracts

Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.

Heterogeneous Graph Transformers with Large Language Models for Smart Contract Vulnerability Detection

Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution

This repository aims to collect a significant sample of smart contracts with associated vulnerability report, and traditional software metrics extracted from each smart contract.