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