Skip to content
SymGDB - symbolic execution plugin for gdb
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
demo_videos Update demo videos May 21, 2017
examples Add examples May 4, 2017
tests
.gitignore Update script and upgrade gdb Jul 28, 2017
LICENSE
README.md Update link May 15, 2018
build.sh
install.sh
requirements.txt
singleton.py
symgdb.py

README.md

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

You can’t perform that action at this time.