Skip to content
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

Improve range analysis for 64-bit secrets #3

Open
1 of 2 tasks
AlviseDeFaveri opened this issue Dec 14, 2023 · 0 comments
Open
1 of 2 tasks

Improve range analysis for 64-bit secrets #3

AlviseDeFaveri opened this issue Dec 14, 2023 · 0 comments
Assignees
Labels
enhancement New feature or request

Comments

@AlviseDeFaveri
Copy link
Contributor

AlviseDeFaveri commented Dec 14, 2023

  • Add wrap-around ranges in infer_isolated
  • Sample multiple values in the secret range (e.g. powers of 2) instead of only the min and max
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants