An Overlay Window that allows input to passthrough

An analysis tool for Python that blurs the line between testing and type systems.

A Linux Kernel Exploitation C Library

Power trace simulator using Unicorn Engine for side channel analysis attack testing

Useful resources for iOS hacking

Command-line sampling profiler for macOS, Linux, and Windows

A drop-in declarative optimization framework for rendering video data visualizations.

Frida Rust bindings

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

A library to dynamically hook standard library functions on macOS

A Dynamic Binary Instrumentation framework based on LLVM.

Cross-platform instrumentation and introspection library written in C

Bidirectional XPC message interception and more. Powered by Frida

DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables

LLVM IR in natural Rust data structures

Platform for Architecture-Neutral Dynamic Analysis

Rust library with examples and tools for exploring branch prediction strategies over program traces.

A plugin to introduce interactive symbols into your debugger from your decompiler

The CTF framework for busy hackers

Semantics of x86-64 in K

Decode the ISO 18000-6B and -6C RF protocols used by the "GoodToGo!" tolling system in Washington and other states

Binary Ninja debugger

Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.

SLOT: SMT-LLVM Optimizing Translation

Code auditing productivity multiplier.

High-level tracing language for Linux

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 fu…

GEF - GDB Enhanced Features for exploit devs & reversers

A tool to recover a fully analyzable .ELF from a raw kernel, through extracting the kernel symbol table (kallsyms)

POC for CVE-2024-27804