
xnuspy
an iOS kernel function hooking framework for checkra1n'able devices

an iOS kernel function hooking framework for checkra1n'able devices

A practical attack framework for precise enclave execution control

Multi-engine framework for unpacking and analyzing VM-protected binaries using dynamic taint tracking, symbolic execution, pattern classification,…

pyREtic is an extensible framework for in-memory Python 2.x bytecode reverse engineering

ROPfuscator is a fine-grained code obfuscation framework for C/C++ programs using ROP (return-oriented programming).

An API hooking framework for intercepting and monitoring Windows applications

Register-level invariant-guided fuzzing framework for closed-source binaries, leveraging likely invariant violations to discover crashes and bugs in…

Record and replay framework for deterministic debugging of multi-threaded applications, enabling reverse execution, hardware watchpoints, and…

Runtime instrumentation framework for building dynamic analysis tools: tracing, profiling, code coverage, memory debugging, fuzzing, and disassembly…

An Open-Source Pre and Post Callback-Based Framework for macOS Kernel Monitoring.

a Ghidra framework for iOS kernelcache reverse engineering

HeapHopper is a bounded model checking framework for Heap-implementations

Scala-based static analysis framework for Android and Java bytecode with flow analysis, decompilation, and native code analysis via symbolic…

The Redexer binary instrumentation framework for Dalvik bytecode

Open-source instrumentation framework for Android apps and Java middleware, modifying code during on-device compilation via the ART compiler.…

Automated Vulnerability Detection Framework for Transient Execution Vulnerabilities (IEEE S&P '26)

Manul is a coverage-guided parallel fuzzer for open-source and blackbox binaries on Windows, Linux and MacOS

AI Smart Contract Security Analysis and PoC Generation Framework