Main gperftools repository

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

RetroShare is a Free and Open Source cross-platform, Friend-2-Friend and secure decentralised communication platform.

A Dynamic Binary Instrumentation framework based on LLVM.

Static Value-Flow Analysis Framework for Source Code

A lightweight dynamic instrumentation library

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

SymCC: efficient compiler-based symbolic execution

Tool for reverse engineering macOS/OS X

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

LAVA: Large-scale Automated Vulnerability Addition

Fuzzer for Linux Kernel Drivers

Training computational graph on top of structured data (string, graph, etc)

FANS: Fuzzing Android Native System Services

An LLVM sanitizer tutorial

Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files

This implements a 64-bit version of vusec/vuzzer fuzzing tool.

ParmeSan: Sanitizer-guided Greybox Fuzzing

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing

Detect missing check bugs in OS kernels

Super Fast Concolic Execution Engine based on Source Code Taint Tracing

StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing

InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing

[USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel

Lightweight tool for slicing

KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .

Directed fuzzing framework for gVisor.