revng: the core repository of the rev.ng project

Scalable fuzzing infrastructure.

Coverage-guided, in-process fuzzing for the JVM

🐇 Fuzzing Rust code with American Fuzzy Lop

Automatic Generation of Models for Cyber-Physical Systems

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!

ChatDBG - AI-assisted debugging. Uses AI to answer 'why'

gooMBA is a Hex-Rays Decompiler plugin to simplify Mixed Boolean-Arithmetic (MBA) expressions

B2R2 is a collection of useful algorithms, functions, and tools for binary analysis.

State-of-the-art native debugging tools

A JavaScript Engine Fuzzer

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

LAVA: Large-scale Automated Vulnerability Addition

Record and Replay Framework

Internals information about Hyper-V

KLEE Symbolic Execution Engine

The official Windows Driver Kit DDI reference documentation sources

Kernel Driver Utility

This repo contains driver samples prepared for use with Microsoft Visual Studio and the Windows Driver Kit (WDK). It contains both Universal Windows Driver and desktop-only driver samples.

Windows inside a Docker container.

fuzzing + concolic = fuzzolic :)

syzkaller is an unsupervised coverage-guided kernel fuzzer

A free, open-source Java library for automata learning algorithms

Protocol state machine learner and fuzzer for DTLS servers and clients

The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/2203.16331

A TLS-Attacker maven Template for new TLS-Attacker related projects

An Automata Learning Library Written in Python

Fuzz Introspector -- introspect, extend and optimise fuzzers

A tiny CPU simulator written in Python

DRAKVUF Black-box Binary Analysis