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