Linux Kernel exploitation Tutorial.

A grammar based feedback Fuzzer

Linux kernel XFRM UAF poc (3.x - 5.x kernels)

Tools for stress testing applications.

upstream mirror

PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs

Symbolic execution of LLVM IR with an engine written in Rust

Source code about machine learning and security.

american fuzzy lop - a security-oriented fuzzer

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

AntiFuzz: Impeding Fuzzing Audits of Binary Executables

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

Documentation for the angr suite

CTF Reversing Challenges List

Static Value-Flow Analysis Framework for Source Code

A native debugger extension for VSCode based on LLDB

Various translations of OSTEP can be found here. Help the cause and contribute!

ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead

Produce code coverage results with gcov from afl-fuzz test cases

AFL/QEMU fuzzing with full-system emulation.

Modular And Compositional analysis with KLEE Engine

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

Ghidra is a software reverse engineering (SRE) framework

Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels

komi1230's Resume