symgdb

by SQLab

SQLab / symgdb

SymGDB - symbolic execution plugin for gdb

196 Stars 20 Forks Last release: about 3 years ago (v1.0.0) MIT License 49 Commits 1 Releases

Available items

No Items, yet!

The developer of this repository has not created any items for sale yet. Need a bug fixed? Help with integration? A different license? Create a request here:

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.