gdb-symbolic – symbolic execution extention for gdb
Commands
* 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
https://github.com/SQLab/symgdb
https://bananaappletw.github.io/2016/02/23/symbolic-exection-introduction.html