Symbolic debugger support
You can use
gdb
and other symbolic debuggers for your programs.