r3p3r / reverse

Reverse engineering tool for x86/ARM/MIPS. Generates indented pseudo-C with colored syntax code.

Reverse

Reverse engineering for x86/ARM/MIPS binaries. Generate a more readable code (pseudo-C) with colored syntax.

Supported formats : ELF, PE, RAW.

The Makefile is used only for checking tests (or you can use the command nosetest3 which is faster).

Requirements

WARNING: a more recent port of pefile for python3 is recommended instead of the repository simonzack/pefile-py3k.

python >= 3.4
capstone + python bindings (see requirements.sh)
python-pyelftools
https://github.com/mlaferrera/python3-pefile
python-msgpack
terminal with 256 colors (if not use the option `--nocolor`)

For Python binding of Capstone engine, you can install it from PyPi, like followings:

sudo pip3 install capstone

You can also run requirements.sh which will retrieve all requirements.

Pseudo-decompilation of functions

The option -x main is optional because the binary contains the symbol main.

$ ./reverse.py tests/server.bin

Interactive mode (-i)

More commands are available in this mode (da, db, ...). See help for a full list.

Visual mode (NEW)

From the interactive mode, use the command v to enter in the visual mode. This mode requires ncurses. Use the tab to switch between dump/decompilation.

More features will come :

• reload automatically if the analyzer has modified the content
• decompilation at the beginning of the function (and not at the cursor)
• multi-line comments
• create code/functions/data
• renaming
• stack variables
• x-refs
• structure, enums
• ...

Switch jump-tables

Switch statements which require a jump-table are not detected automatically. So we need to tell it which jump-table to use.

$ ./reverse.py -i tests/others/switch.bin
>> x
...
>> jmptable 0x400526 0x400620 11 8 
# A jump-table at 0x400620 is set with 11 entries, an address is on 8 bytes.

Analyze shellcodes

For every int 0x80, the tool try to detect syscalls with parameters.

$ ./reverse.py --raw x86 tests/shellcode.bin
function 0x0 {
    0x0: eax = 0 # xor eax, eax
    0x2: al = '\x0b' # mov al, 0xb
    0x4: cdq
    0x5: push edx
    0x6: push 1752379246 "n/sh"
    0xb: push 1768042287 "//bi"
    0x10: ebx = esp # mov ebx, esp
    0x12: push edx
    0x13: push ebx
    0x14: ecx = esp # mov ecx, esp
    0x16: int 128 ; execve(ebx, ecx, edx) # int 0x80
}

Edit with vim

$ ./reverse tests/dowhile1.bin --vim
You can now run : vim dowhile1.bin.rev -S dowhile1.bin.vim

Custom colors

At the first run, reverse.py creates a new file custom_colors.py with default values. Here you can set your own colors.