Awesome
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
symbolize argv
crackme hash 64
Tests
./tests/run.sh