gdb-plugin
GDBFrontend is a easy, flexible and extensionable gui debugger.
Check for satisfied one gadget constraints using the state of a running gdb instance