A tool for meta-fuzzing using program mutants

Slide decks used in courses taught regarding F´

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

To make fuzzing Rust easy

Repository for the Z2K Plus code base

PASTIS: Collaborative Fuzzing Framework

A ground-truth fuzzing benchmark suite based on real programs with real bugs.

Official Go implementation of the Klaytn protocol

Mutation Testing for Ethereum Smart Contracts, support for Foundry

Mutation Testing for Ethereum Smart Contracts

Shrinkray is a modern multi-format test-case reducer

Finetuning Large Language Models on One Consumer GPU in Under 4 Bits

A regular expression fuzzer.

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

Mutation analysis tool for Coq verification projects

Using mutations to improve specs and test suites

Permissionless asset-backed, yield-bearing & overcollateralized stablecoins on Ethereum

Keep your bugs contained. A platform for studying historical software bugs.

Python bindings for Comby

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

DeepState harness to test CBlosc2 compression library

Ethereum Virtual Machine written in rust that is fast and simple to use

A robust execution client for Ethereum node operators.

The ISLa (Input Specification Language) language & solver.

Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)

Python API for rewriting GTIRB files

A powerful static binary rewriting tool