-
Notifications
You must be signed in to change notification settings - Fork 3
Issues: trailofbits/sholva
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
test: validation of the DF computation
pri:low
Low-priority tasks
#207
opened Sep 5, 2023 by
jleightcap
Log4Shell exploit modeling
pri:low
Low-priority tasks
threads
support for threaded programs
#154
opened May 30, 2023 by
jleightcap
4 tasks
mttn: support tracing of threads
pri:low
Low-priority tasks
threads
support for threaded programs
#153
opened May 30, 2023 by
jleightcap
tiny86: syscall module exported to circuitous
pri:high
High-priority tasks
tiny86
tiny86 circuit feature
#150
opened May 30, 2023 by
jleightcap
3 tasks
mttn: Add an instruction cache
enhancement
New feature or request
mttn
mttn tracing feature
pri:low
Low-priority tasks
#149
opened May 30, 2023 by
jleightcap
mttn: CI flakiness (likely) due to fast string operation mode
bug
Something isn't working
mttn
mttn tracing feature
pri:low
Low-priority tasks
#147
opened May 30, 2023 by
jleightcap
mttn: Add a statistics flag
enhancement
New feature or request
mttn
mttn tracing feature
pri:low
Low-priority tasks
#146
opened May 30, 2023 by
jleightcap
mttn: enable logging of SEGFAULT'd tracee
enhancement
New feature or request
good first issue
Good for newcomers
mttn
mttn tracing feature
pri:med
Medium-priority tasks
#134
opened Apr 19, 2023 by
jleightcap
Use a dependabot-like workflow to bump version of rust-nightly ~quarterly
CI/CD
automated builds
dependencies
Pull requests that update a dependency file
enhancement
New feature or request
mttn
mttn tracing feature
pri:low
Low-priority tasks
#125
opened Apr 6, 2023 by
jleightcap
Generate documentation/lints for a "trace format change" process.
documentation
Improvements or additions to documentation
pri:low
Low-priority tasks
#111
opened Mar 29, 2023 by
jleightcap
1 task
Generate test-time assertion failure on trace format ambiguity
pri:med
Medium-priority tasks
testing
fixes and added verification
#107
opened Mar 9, 2023 by
jleightcap
Write a git bisect script to check for Medium-priority tasks
testing
fixes and added verification
tiny86
tiny86 circuit feature
sv-compositor
-induced regressions
pri:med
#120
opened Feb 24, 2023 by
lisaoverall
mttn: trace all programs inside a Docker container
filesystem
filesystem modeling
pri:med
Medium-priority tasks
testing
fixes and added verification
#87
opened Feb 15, 2023 by
jleightcap
2 tasks
CI: improve synthesis statistics reporting
enhancement
New feature or request
good first issue
Good for newcomers
pri:low
Low-priority tasks
#83
opened Oct 5, 2022 by
jleightcap
2 tasks
Refactor logical/physical operand handling
enhancement
New feature or request
instruction support
supported tiny86 instructions
pri:low
Low-priority tasks
tiny86
tiny86 circuit feature
#73
opened Feb 11, 2022 by
woodruffw
Support IDIV
instruction support
supported tiny86 instructions
pri:med
Medium-priority tasks
tiny86
tiny86 circuit feature
#72
opened Feb 11, 2022 by
woodruffw
Support architectural exceptions
instruction support
supported tiny86 instructions
pri:med
Medium-priority tasks
tiny86
tiny86 circuit feature
#71
opened Feb 11, 2022 by
woodruffw
3 tasks
Refactor abstract operand handling
instruction support
supported tiny86 instructions
pri:med
Medium-priority tasks
tiny86
tiny86 circuit feature
#59
opened Jan 12, 2022 by
woodruffw
Support LAHF
instruction support
supported tiny86 instructions
pri:med
Medium-priority tasks
tiny86
tiny86 circuit feature
#38
opened Jul 29, 2021 by
woodruffw
Support PUSHF/POPF
good first issue
Good for newcomers
instruction support
supported tiny86 instructions
pri:med
Medium-priority tasks
tiny86
tiny86 circuit feature
#37
opened Jul 29, 2021 by
woodruffw
Support the various shift and roll instructions
instruction support
supported tiny86 instructions
pri:med
Medium-priority tasks
tiny86
tiny86 circuit feature
#4
opened Mar 9, 2021 by
woodruffw
Potential support for MOV variants
instruction support
supported tiny86 instructions
pri:med
Medium-priority tasks
tiny86
tiny86 circuit feature
#3
opened Mar 9, 2021 by
woodruffw
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.