Highlights
- Pro
Lists (2)
Sort Name ascending (A-Z)
Stars
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
Platform for Architecture-Neutral Dynamic Analysis
Rust library with examples and tools for exploring branch prediction strategies over DynamoRIO traces.
A plugin to introduce interactive symbols into your debugger from your decompiler
Decode the ISO 18000-6B and -6C RF protocols used by the "GoodToGo!" tolling system in Washington and other states
Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
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…
destr4ct / gef-kernel
Forked from bata24/gefGEF - 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)
libdebug is a python library to automate the debugging of a binary executable.
A bootloader and experimentation playground for Apple Silicon
A symbolic execution engine for EVM smart contract binaries.