Debugger framework, tools and application for Gate