Pinned Loading

1. jingle jingle Public

   An FFI for Ghidra's Sleigh also providing SMT modeling and analysis

   Rust 37 4

2. crackers crackers Public

   A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL.

   Rust 24 3

3. prove-rs/z3.rs prove-rs/z3.rs Public

   Rust bindings for the Z3 solver.

   Rust 516 152