toolCHAINZ / jingle Star 32 Code Issues Pull requests SMT Modeling for Ghidra's PCODE rust reverse-engineering z3 smt sleigh p-code ghidra Updated Jan 14, 2026 Rust
toolCHAINZ / crackers Star 23 Code Issues Pull requests A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL. rop jingle sleigh return-oriented-programming p-code ghidra Updated Dec 25, 2025 Rust