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.
☆202Updated 4 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…☆290Updated 3 years ago
- Self-hosting binary instrumentation framework for security research☆218Updated 2 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆131Updated 3 years ago
- A fuzzing introspection tool☆167Updated 5 years ago
- Boring tool to launch multiple afl-fuzz instances☆52Updated 8 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 5 years ago
- ☆132Updated 6 years ago
- ☆163Updated 4 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆223Updated 6 months ago
- Kernel Test Framework☆150Updated 2 months ago
- A vulnerable C program for testing fuzzers.☆206Updated 3 years ago
- A Dolev-Yao-model-guided fuzzer for TLS☆149Updated last week
- ☆64Updated 6 years ago
- ☆174Updated 3 years ago
- A de-socketing library for fuzzing.☆162Updated 5 months ago
- a friendly wrapper around ptrace☆134Updated 3 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆77Updated 3 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆168Updated 6 years ago
- Emulation and Feedback Fuzzing of Firmware with Memory Sanitization☆164Updated 4 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.☆195Updated 3 years ago
- Janus: a state-of-the-art file system fuzzer on Linux☆233Updated 6 years ago
- LKRG bypass methods☆73Updated 6 years ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆305Updated 3 years ago
- Target-centric program analysis.☆77Updated last week
- AFL binary instrumentation☆305Updated last year
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆139Updated 4 years ago
- ☆137Updated 4 years ago
- A tool that automatically creates fuzzing harnesses based on a library☆284Updated 4 years ago
- My MS thesis on survey of a decade fo Linux Kernel CVEs, their categories and various mitigations that exist.☆159Updated 7 years ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆473Updated last year