Ropper

Puoi usare Ropper per visualizzare informazioni su file binari in diversi formati e puoi cercare gadget per costruire catene ROP per diverse architetture (x86/X86_64, ARM/ARM64, MIPS/MIPS64, PowerPC/PowerPC64, SPARC64). Per il disassemblaggio, Ropper utilizza il fantastico Capstone Framework.

Installazione

Installa Capstone con PyPi:

$ sudo pip install capstone

Installa filebytes con PyPi:

$ sudo pip install filebytes

Opzionale (non necessario per eseguire Ropper, solo per cercare gadget):

Installa Keystone:

$ sudo pip install keystone-engine

Installa ed esegui Ropper

$ python setup.py install
$ ropper

Puoi anche installare Ropper con pip

$ pip install ropper

Se preferisci, puoi usare Ropper senza installazione

$ ./Ropper.py

Se non vuoi installare filebytes, filebytes è un sottomodulo del repository di Ropper. Questo significa che non devi installare filebytes e ropper separatamente.

$ git clone https://github.com/sashs/ropper.git
$ cd ropper
$ git submodule init
$ git submodule update
$ ./Ropper.py

QUESTA FUNZIONALITÀ È ANCORA IN FASE DI SVILUPPO! Ropper ha un comando di ricerca semantica, che offre la possibilità di cercare gadget.

$ ropper --file <afile> --semantic "<any constraint>"

Le seguenti dipendenze opzionali sono necessarie per usare la ricerca semantica:

Installa pyvex

$ sudo pip install pyvex

Installa z3py

$ python scripts/mk_make.py
$ cd build
$ make
$ sudo make install

Vincoli attualmente possibili

reg == reg     -  assegna un registro a un altro
reg == number  -  assegna un numero a un registro
reg == [reg]   -  assegna la memoria a un registro
reg += number/reg/[reg]
reg -= number/reg/[reg]
reg *= number/reg/[reg]
reg /= number/reg/[reg]

Esempio di vincolo

eax==1 !ebx    - imposta eax a 1 e cerca gadget che non sovrascrivono ebx

Utilizzo

usage: Ropper.py [-h] [--help-examples] [-v] [--console]
             [-f <file> [<file> ...]] [-r] [-a <arch>]
             [--section <section>] [--string [<string>]] [--hex]
             [--asm [<asm> [H|S|R] ...]] [--disasm <opcode>]
             [--disassemble-address <address:length>] [-i] [-e]
             [--imagebase] [-c] [-s] [-S] [--imports] [--symbols]
             [--set <option>] [--unset <option>] [-I <imagebase>] [-p]
             [-j <reg>] [--stack-pivot] [--inst-count <n bytes>]
             [--search <regex>] [--quality <quality>] [--opcode <opcode>]
             [--instructions <instructions>] [--type <type>] [--detailed]
             [--all] [--cfg-only] [--chain <generator>] [-b <badbytes>]
             [--nocolor] [--clear-cache] [--no-load] [--analyse <quality>]
             [--semantic constraint]
             [--count-of-findings <count of gadgets>] [--single]

Puoi usare ropper per visualizzare informazioni su file binari in diversi formati
    e puoi cercare gadget per costruire catene ROP per diverse architetture

formati di file supportati:
  ELF
  PE
  Mach-O
  Raw

architetture supportate:
  x86 [x86]
  x86_64 [x86_64]
  MIPS [MIPS, MIPS64]
  ARM/Thumb [ARM, ARMTHUMB]
  ARM64 [ARM64]
  PowerPC [PPC, PPC64]
  SPARC [SPARC64]

generatori di catene ROP disponibili:
  execve (execve[=<cmd>], predefinito /bin/sh) [Linux x86, x86_64]
  mprotect  (mprotect=<indirizzo>:<dimensione>) [Linux x86, x86_64]
  virtualprotect (virtualprotect=<indirizzo iat vp>:<dimensione>) [Windows x86]