Skip to content

Issues: GaloisInc/surveyor

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

33 Open 26 Closed
33 Open 26 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Move reusable widgets into separate (appropriate) packages
#99 opened Jan 13, 2021 by travitch
Add semantic differentiation in the graphviz rendering of formulas
#97 opened Jan 12, 2021 by travitch
Add a viewer for the current path condition while suspended
#85 opened Jan 9, 2021 by travitch
Use the ValueViewer widget in the symbolic execution inspector
#68 opened Jun 26, 2020 by travitch
Allow hiding sub-terms of named values in the ValueViewer
#63 opened Jun 22, 2020 by travitch
The filename in the state is obsolete
#62 opened Jun 22, 2020 by travitch
ValueViewer term naming
#57 opened Jun 20, 2020 by travitch Demo 1
CFG and Call Graph rendering to Graphviz enhancement New feature or request
#55 opened Jun 17, 2020 by travitch Demo 2
Encode "current object" rules declaratively
#53 opened Jun 15, 2020 by travitch
Add dependency analysis/visualization to the ValueViewer
#52 opened Jun 15, 2020 by travitch Demo 1
@travitch
Finish implementing cases in the ValueViewer enhancement New feature or request ui Frontend-specific task
#49 opened Jun 15, 2020 by travitch Demo 1
@travitch
SAW Integration blue-sky A longer-term idea
#45 opened Jun 12, 2020 by travitch
Implement a memory history viewer enhancement New feature or request
#42 opened Jun 11, 2020 by travitch Demo 2
Implement a memory state editor
#41 opened Jun 11, 2020 by travitch
2 tasks
Demo 2
Support taking memory snapshots enhancement New feature or request
#40 opened Jun 11, 2020 by travitch Demo 2
Add support for symbolic watchpoints enhancement New feature or request
#39 opened Jun 11, 2020 by travitch Demo 2
Add a way to set symbolic breakpoints via the UI enhancement New feature or request
#38 opened Jun 11, 2020 by travitch Demo 2
Improve efficiency of symbolic execution feature startup
#33 opened Jun 6, 2020 by travitch
Run-time extensibility blue-sky A longer-term idea
#31 opened Jun 6, 2020 by travitch
Demo video (1)
#28 opened Jun 4, 2020 by travitch Demo 1
Construct a demonstration program for breakpoints and symbolic debugging
#27 opened Jun 4, 2020 by travitch Demo 1
CFG Visualization enhancement New feature or request ui Frontend-specific task
#25 opened Jun 3, 2020 by travitch
Revive the QML frontend blue-sky A longer-term idea
#21 opened Jun 2, 2020 by travitch
Add a popup to select from possible completions enhancement New feature or request ui Frontend-specific task
#20 opened Jun 2, 2020 by travitch
Add a UI for initializing the symbolic execution state enhancement New feature or request ui Frontend-specific task
#18 opened Jun 2, 2020 by travitch
ProTip! Updated in the last three days: updated:>2025-02-20.