☕ GDBFrontend is an easy, flexible and extensible gui debugger. Try it ...
SymGDB - symbolic execution plugin for gdb