The University of Oxford Oxford, United Kingdom
toolCHAINZ
A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL.
DUMB: An Example Architecture for Binary Ninja
SMT Modeling for Ghidra's PCODE
