/gef_plugin_se

gef(gdb) Symbolic Execution plugin