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 3 years ago
Alternatives and similar repositories for gustave
Users that are interested in gustave are comparing it to the libraries listed below
Sorting:
- FitM, the Fuzzer in the Middle, can fuzz client and server binaries at the same time using userspace snapshot-fuzzing and network emulati…☆292Updated 3 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago
- Kernel Test Framework☆143Updated 5 months ago
- A fuzzing introspection tool☆167Updated 4 years ago
- ☆162Updated 3 years ago
- Self-hosting binary instrumentation framework for security research☆215Updated last year
- A de-socketing library for fuzzing.☆153Updated last month
- AFL binary instrumentation☆300Updated 5 months ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆216Updated last week
- ☆253Updated 2 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆138Updated 3 years ago
- Distributed fuzzing platform☆47Updated 2 years ago
- Emulation and Feedback Fuzzing of Firmware with Memory Sanitization☆162Updated 4 years ago
- ☆172Updated 3 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆349Updated 2 months 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
- SALT - SLUB ALlocator Tracer for the Linux kernel☆153Updated 6 years ago
- A vulnerable C program for testing fuzzers.☆198Updated 2 years ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆473Updated last year
- ☆85Updated 3 months ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆300Updated 2 years ago
- A Dolev-Yao-model-guided fuzzer for TLS☆142Updated last week
- ☆251Updated 5 years ago
- My MS thesis on survey of a decade fo Linux Kernel CVEs, their categories and various mitigations that exist.☆159Updated 6 years ago
- Load-time selective binary rewriting☆159Updated 2 years ago
- ☆187Updated 3 months ago
- a friendly wrapper around ptrace☆132Updated 3 years ago
- Fuzzing Embedded Systems using Hardware Breakpoints☆185Updated last year
- A tool that automatically creates fuzzing harnesses based on a library☆280Updated 3 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago