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!

Set of tests for fuzzing engines

SeaHorn Verification Framework

Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.

Domain-Specific Fuzzing with Waypoints

Apron Numerical Abstract Domain Library

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

All things related to verification of trusty TEE OS

Fuzzes input program to generate ranges of numerical kernels

american fuzzy lop - a security-oriented fuzzer