Flex 'em lexers

AFL++ is a state-of-the-art fuzzer, and #1 in benchmarks. It was originally based on AFL. Today it comes with qemu 5.1, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power sched…

TrueType and OpenType font fuzzing toolset

IDAPython tool for creating automatic C++ virtual tables in IDA Pro

Lua 5.1.5 for Nintendo Switch homebrew

Zelda-like 2D game engine (unofficial ports)

A tool for matching and diffing source codes directly against binaries.

IFDS/IDE Solver for Soot and other frameworks

T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.

POLAR

Fuzzer for Linux Kernel Drivers

Repository of various public white-box cryptographic implementations and their practical attacks.

Improving AFL by using Intel PT to collect branch information

A bibliography of papers related to symbolic execution

Open source reimplementation of SafeNet MobilePass

Various useful utilities for UEFI

RetDec is a retargetable machine-code decompiler based on LLVM.

An analysis of the Warbird virtual-machine protection for the CI!g_pStore

Diameter interfaces fuzzer. Its fuzzing process is based on concrete network traces, and it uses 3gpp and ETSI specifications to fuzz efficiently.

Python core of avatar²

A community driven collection of IDA FLIRT signature files

Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code

Memory inspection REPL interface

Fast cyptographic hash function

My proof-of-concept exploits for the Linux kernel

Binary Analysis Platform

Detect, analyze and uniquely identify crashes in Windows applications

Sample set minimization tool

Python module to detect, analyze and id application bugs