Implement bookmark timestamp UI for time-travel debugging #787
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR implements a comprehensive bookmark system for the Binary Ninja debugger that allows users to bookmark timestamps and navigate to them with double-click functionality, particularly useful for Time Travel Debugging (TTD) scenarios.
Key Features
BookmarksWidget UI Component
TTD Integration
!tt
command when creating bookmarks!tt <position>
,!position <position>
)Global Bookmark Action
Persistent Storage
Implementation Details
The implementation follows existing debugger UI patterns, particularly mirroring the
DebugBreakpointsWidget
:TTD Position Handling:
InvokeBackendCommand("!tt")
when creating bookmarksUI Integration:
DebuggerWidget
as a new tabUser Experience
The bookmark workflow is intuitive and integrates seamlessly with existing debugger functionality:
The system provides clear visual feedback and error handling, ensuring users understand navigation results and any fallback behavior when TTD positioning is unavailable.
Fixes #704.
💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.