Need help with symgdb?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

SQLab
202 Stars 23 Forks MIT License 49 Commits 0 Opened issues

Description

SymGDB - symbolic execution plugin for gdb

Services available

!
?

Need anything else?

Contributors list

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

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.