Skip to content

Latest commit

 

History

History
33 lines (25 loc) · 736 Bytes

README.md

File metadata and controls

33 lines (25 loc) · 736 Bytes

rz-solver

Overview

rz-solver is a Rizin plugin that provides a simple interface to an SMT solver, currently supporting ROP (Return-Oriented Programming) constraint solving using RzIL APIs.

Installation

  1. Configure the build using Meson:

    meson --buildtype=debug --prefix=/usr/ buildDir/

    Use --prefix to specify Rizin library directories.

  2. Compile and install the plugin:

    ninja -C buildDir/ install

Usage

ROP Example

  1. Load the binary and analyze for ROP gadget info:

    rizin -N binary
[0x00401000]> /Rg

  2. Solve ROP constraints:

    [0x00401000]> /Rs
Usage: /Rs[?] <Gadget constraints>   # ROP Gadget solver help