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" >> ~/.gdbinitCommands
| 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