
nautilus
A grammar based feedback Fuzzer

A grammar based feedback Fuzzer

Distributed, code-coverage guided snapshot-based fuzzer for user and kernel-mode targets on Windows and Linux, with emulator and hypervisor backends.


AArch64 fuzzer based on the Apple Silicon hypervisor

A fuzzing tool for closed-source binaries based on Unicorn and LibFuzzer

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…

A tool that automatically creates fuzzing harnesses based on a library

Tool for solving BPF filters and crafting packets based on these.

Automated reasoning tool based on the SMACK verifier that detects SGX enclave bugs from trusted boundary violations, including invalid pointer…

Frida-based in-process fuzzing suite with AFL++ proxy, standalone active/passive modes, and shared memory communication for high-performance…

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

Multi-architecture pcode emulator using Ghidra/Sleigh for AFL++ fuzzing of binaries, firmware, and embedded targets; detects memory-corruption bugs…

AI Smart Contract Security Analysis and PoC Generation Framework

ComfyEngine is a memory exploration toolkit built for people who need to monitor, patch, and script a running process.

ADT is a toolset designed to help model application behavior, research and test security vulnerabilities, and facilitate reversing hostile code.

Vulnerability Found on Squid Proxy.