UNIX-like reverse engineering framework and command-line toolset

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!

RIOT - The friendly OS for IoT

american fuzzy lop - a security-oriented fuzzer

A library of generic data structures for the C language.

lwIP mirror from http://git.savannah.gnu.org/cgit/lwip.git

The FORM project for symbolic manipulation of very big expressions

A fast, parallel test case minimization tool.

SMACK Software Verifier and Verification Toolchain

stalin brutally optimizing Scheme compiler, with Debianization patches

A Kernel fuzzer focusing on race bugs

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

Dynamic detection of likely invariants

CREST is a concolic test generation tool for C.

microsat

T2 Temporal Prover

Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently…

A Shape Analyzer Based on Symbolic Memory Graphs

A collection of analysis tools for Kconfig and Kbuild constraints.

tasty feature extensions for python3(NO MAINTENANCE!).

Multi-core Decision Diagram (BDD/LDD) implementation

CCG is a random C Code Generator

UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities

The GNU Scientific Library (GSL) is a numerical library for C and C++ programmers.

A fast and certifying solver for quantified Boolean formulas.

Quantifier Elimination by Partial Cylindrical Algebraic Decomposition

Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)

an input-sensitive profiler