A Model Context Protocol server for IDA

GATEKEEPER: Inline and on-target defense

Emulation and Feedback Fuzzing of Firmware with Memory Sanitization

PoC 2019-2215 exploit for S8/S8 active with DAC + SELinux + Knox/RKP bypass

an iOS kernel function hooking framework for checkra1n'able devices

Asahi Linux documentation

Go package that aids in binary analysis and exploitation

A port of Rolf Rolles' https://github.com/RolfRolles/HexRaysDeob to Python

An Interactive Hex-Rays Microcode Explorer

Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions

My Chrome and Safari exploit code + write-up repo

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

DC28CTF challenge parallel-af. Dataflow machine.

BNF wrangling and railroad diagrams

Client for generating dynamic binary traces using the Zemu API.

A comprehensive binary emulation and instrumentation platform.

A ground-truth fuzzing benchmark suite based on real programs with real bugs.

SymCC: efficient compiler-based symbolic execution

GLM uCode dumps

IPC scripts for access to Intel CRBUS

TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.

GNU Radio Android Toolchain

Open Source SMT Pick and Place Hardware and Software

The LumenPnP is an open source pick and place machine.

Fn-Lock switcher for ThinkPad Compact Bluetooth Keyboard with TrackPoint

sn8f2288 disassembler