GJDuck

binbloom

Raw binary firmware analysis software

LTL-Fuzzer

Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)

redfat-experiments

sslsplit

Transparent SSL/TLS interception

dll_to_exe

Converts a DLL into EXE

HackSysExtremeVulnerableDriver

HackSys Extreme Vulnerable Driver (HEVD) - Windows & Linux

crash_monitor

Basic fuzzing instrumentation for windows processes.

drmemory

Memory Debugger for Windows, Linux, Mac, and Android

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

sleigh

Unofficial CMake build for Ghidra's C++ SLEIGH code

binexport

Export disassemblies into Protocol Buffers

kernel-sanitizers

Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel

libdwarf-code

Contains source for libdwarf, a library for reading DWARF2 and later DWARF. Contains source to create dwarfdump, a program which prints DWARF2 and later DWARF in readable format. Has a very limited DWARF writer set of functions in libdwarfp (producer library). Builds using GNU configure, meson, or cmake.

Kernel-dll-injector

Kernel-Mode Driver that loads a dll into every new created process that loads kernel32.dll module

souper

A superoptimizer for LLVM IR

udis86

Disassembler Library for x86 and x86-64

qemu-libafl-bridge

A patched QEMU that exposes an interface for LibAFL-based fuzzers

p2im

This is the source code for P2IM paper (accepted to Usenix Security'20)

binrec-tob

BinRec: Dynamic Binary Lifting and Recompilation

seccomp-tools

Provide powerful tools for seccomp analysis

libelfmaster

Secure ELF parsing/loading library for forensics reconstruction of malware, and robust reverse engineering tools

Taint-Evaluator

A suite of experiments for evaluating open-source binary taint trackers.

DetoursNT

Detours with just single dependency - NTDLL

sca-fuzzer

Revizor - a fuzzer to search for microarchitectural leaks in CPUs

Anti-Debugging

A collection of c++ programs that demonstrate common ways to detect the presence of an attached debugger.

Superion

Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.

fuzzable

Framework for Automating Fuzzable Target Discovery with Static Analysis.

vast

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

sqlancer

Automated testing to find logic and performance bugs in database systems

weggli

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.