sqlab/symgdb

SymGDB - symbolic execution plugin for gdb

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

Talk

• Triton and Symbolic execution on GDB @ DEF CON China