Skip to content

SQLab/symgdb

Repository files navigation

gdb symbolic

gdb-symbolic - symbolic execution extention for gdb

Installation

Warning!!! Installation script will overwrite your gdb

Due to python3 not supported for triton yet

Need to recompile gdb for python2

./install.sh
echo "source ~/symgdb/symgdb.py" >> ~/.gdbinit

Commands

Command  Options               Functionality          
symbolize argv Make symbolic
memory [address][size]
target address Set target address
triton                       Run symbolic execution  
answer Print symbolic variables
debug symbolic gdb Show debug message

Examples

You could combine with other gdb plugin, such as peda.

crackme hash 32

crackme hash 32

symbolize argv

symbolize argv

crackme hash 64

crackme hash 32

Tests

./tests/run.sh

Talk