toolCHAINZ

Pinned Repositories

cxx
Safe interop between Rust and C++
Language:Rust5.8k 56 652325
ghidra
Ghidra is a software reverse engineering (SRE) framework
Language:Java50.6k 1k 4.8k5.8k
z3.rs
Rust bindings for the Z3 solver.
Language:Rust338 10 104105
binocle
a graphical tool to visualize binary data
Language:Rust1.1k 8 4931
DUMB
DUMB: An Example Architecture for Binary Ninja
Language:Python13 2 22
hexfiles
A Binary Ninja plugin providing a set of BinaryViews for loading Motorola SREC, Intel HEX, and TI-TXT "hex" files
Language:Python9 1 53
jingle
SMT Modeling for Ghidra's PCODE
Language:Rust81
z3.rs
Rust bindings for the Z3 solver.
Language:Rust00
binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
Language:C++898 45 5.2k202
community-themes
Community provided themes for the reverse engineering tool Binary Ninja
Language:Python48 11 321

toolCHAINZ's Repositories

toolCHAINZ/DUMB
DUMB: An Example Architecture for Binary Ninja
Language:Python13 2 22
toolCHAINZ/hexfiles
A Binary Ninja plugin providing a set of BinaryViews for loading Motorola SREC, Intel HEX, and TI-TXT "hex" files
Language:Python9 1 53
toolCHAINZ/jingle
SMT Modeling for Ghidra's PCODE
Language:Rust81
toolCHAINZ/z3.rs
Rust bindings for the Z3 solver.
Language:Rust00