debugger — Graphical debugger
debugger [
-b
backend
] [
-d
debug
] [
filename
]
debugger is a graphical user interface for debugging programs. It supports plug-ins for the underlying analysis and debugging engines.