To make fuzzing Rust easy

Directory of security contacts for blockchain companies

neural network assisted fuzzer

Mutation Testing for Ethereum Smart Contracts

A distributed fuzzer which aims to pull in the best technologies, make them play nicely together, and run on multiple O/Ses.

A curated list of awesome Ethereum security references

Generation-based, context-free grammar fuzzer. Refer to https://github.com/posidron/dharma for a maintained version.

A user-friendly fuzzing and crash triage tool for Windows

The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)

Patches to afl to fix bugs or add enhancements

Easily create authenticated data structures

INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators

Csmith, a random generator of C programs

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

A Python interface to AFL, allowing for easy injection of testcases and other functionality.

IDA Processor Module for the Ethereum Virtual Machine (EVM)

Utilities for automated crash sample processing/analysis, easy afl-fuzz job management and corpus optimization

A Dynamic Binary Instrumentation framework based on LLVM.

A curated list of awesome Solidity resources

STOKE: A stochastic superoptimizer and program synthesizer

K Semantics of the Ethereum Virtual Machine (EVM)

Utilities for generating dynamic traces

American Fuzzy Lop fork server and instrumentation for pure-Python code

EVM dissassembler

Ethereum smart contract fuzzer

Common tests for all Ethereum implementations

Compiled CGC binaries for experimentation porpoises.