ndrewh

libdebug

libdebug is a python library to automate the debugging of a binary executable.

dynamorio

Dynamic Instrumentation Tool Platform

m1n1

A bootloader and experimentation playground for Apple Silicon

pyda

Write simple dynamic binary analysis tools in Python

souper

A superoptimizer for LLVM IR

IRFuzzer

alive2

Automatic verification of LLVM optimizations

greed

A symbolic execution engine for EVM smart contract binaries.

kinfra

Kubernetes infrastructure

callgraph

Binary Ninja Call Graph plugin

jail

An nsjail Docker image for CTF pwnables. Easily create secure, isolated xinetd/inetd-style services.

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

pastis

PASTIS: Collaborative Fuzzing Framework

QEMUAppleSilicon

Apple Silicon devices emulated on QEMU, currently only iPhone 11. With SEP and SpringBoard, eventually

llef

LLEF is a plugin for LLDB to make it more useful for RE and VR

symcc

SymCC: efficient compiler-based symbolic execution

clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation

flagchecker

For effective cheating detection in security competitions. Uses Linux Kernel Module (LKM) for generating flags.

cwe_checker

cwe_checker finds vulnerable patterns in binary executables

sca-fuzzer

Revizor - a fuzzer to search for microarchitectural leaks in CPUs

fugue-core

A binary analysis framework written in Rust.

icicle

egg

egg is a flexible, high-performance e-graph library

f4pga

FOSS Flow For FPGA

bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

PINcher

reverse engineering tool for logging/modifying stuff during execution. Based on Intel PIN

seninja

symbolic execution plugin for binary ninja

triton-bn

Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.

nsjail

A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.

ruler

Rewrite Rule Inference Using Equality Saturation