Fuzzing processing pipelines for zero-knowledge circuits

A greener fuzzer benchmarking platform

A dependency-aware metamorphic-testing framework for Datalog engines

A specification language and framework for expressing and testing k-safety properties of machine-learning models

Run Crab analyzer on programs written in CrabIR (a simple goto-based language)

Benchmark Generator for Smart-Contract Fuzzers

Advice for writing LaTeX documents

π-fuzz Policy Testing Framework

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

ETH Robustness Analyzer for Deep Neural Networks

american fuzzy lop - a security-oriented fuzzer

All things related to verification of trusty TEE OS

Fuzzes input program to generate ranges of numerical kernels

QueryFuzz implements a metamorphic testing approach to test Datalog engines.

Neuro-aware program analyzer

Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints

Domain-Specific Fuzzing with Waypoints

Rust mid-level IR Abstract Interpreter

A binary lifter and analysis framework for Ethereum smart contracts

Repository with the files for the getting started guide of Scribble

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

Tool for differentially testing soundness and precision of program analyzers

Static analysis framework for EVM bytecode

Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"

SmartACE prototype (deprecated): moved to the contract-ace github organization.