-
Notifications
You must be signed in to change notification settings - Fork 5
Issues: vusec/inspectre-gadget
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
Handle branches as soft path constriants
enhancement
New feature or request
#24
opened Jun 21, 2024 by
SanWieb
Assertion failure on if-then-else aliases
bug
Something isn't working
#19
opened Feb 20, 2024 by
AlviseDeFaveri
Angr "Cannot execute following jumpkind Ijk_SigSEGV"
angr
Bug related to angr behavior
#15
opened Dec 22, 2023 by
andyhhp
Add reasoner support for dispatch gadgets (TFPs)
enhancement
New feature or request
#10
opened Dec 21, 2023 by
SanWieb
IR decoding error for WRMSR instructions
angr
Bug related to angr behavior
#7
opened Dec 20, 2023 by
andyhhp
Add controlled part of the base together with independent part
enhancement
New feature or request
#5
opened Dec 14, 2023 by
AlviseDeFaveri
Handle secret addresses that requires memory leak
enhancement
New feature or request
#4
opened Dec 14, 2023 by
AlviseDeFaveri
Improve range analysis for 64-bit secrets
enhancement
New feature or request
#3
opened Dec 14, 2023 by
AlviseDeFaveri
1 of 2 tasks
ProTip!
Mix and match filters to narrow down what you’re looking for.