airbus-seclab / gustaveLinks
GUSTAVE is a fuzzing platform for embedded OS kernels. It is based on QEMU and AFL (and all of its forkserver siblings). It allows to fuzz OS kernels like simple applications.
☆200Updated 4 years ago
Alternatives and similar repositories for gustave
Users that are interested in gustave are comparing it to the libraries listed below
Sorting:
- Self-hosting binary instrumentation framework for security research☆217Updated 2 years ago
- A fuzzing introspection tool☆167Updated 5 years ago
- Kernel Test Framework☆148Updated 8 months ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆130Updated 3 years ago
- FitM, the Fuzzer in the Middle, can fuzz client and server binaries at the same time using userspace snapshot-fuzzing and network emulati…☆289Updated 3 years ago
- a friendly wrapper around ptrace☆133Updated 3 years ago
- AFL binary instrumentation☆299Updated 8 months ago
- ☆163Updated 4 years ago
- ☆132Updated 6 years ago
- A de-socketing library for fuzzing.☆159Updated 2 months ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆218Updated 3 months ago
- ☆172Updated 3 years ago
- A distributed fuzzer which aims to pull in the best technologies, make them play nicely together, and run on multiple O/Ses.☆194Updated 4 years ago
- A distributed fuzzing management framework☆68Updated 5 years ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆196Updated 2 years ago
- A Dolev-Yao-model-guided fuzzer for TLS☆143Updated this week
- Janus: a state-of-the-art file system fuzzer on Linux☆225Updated 5 years ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆303Updated 2 years ago
- Boring tool to launch multiple afl-fuzz instances☆52Updated 8 years ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆472Updated last year
- ☆63Updated 6 years ago
- Target-centric program analysis.☆77Updated this week
- ☆258Updated 2 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆140Updated 4 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆167Updated 6 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆358Updated 5 months ago
- A vulnerable C program for testing fuzzers.☆196Updated 2 years ago
- LKRG bypass methods☆73Updated 5 years ago
- Bug hunting through fuzzer/*-sanitizer/etc...☆133Updated 4 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 3 years ago