Improve range analysis for 64-bit secrets

vusec / inspectre-gadget

InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets

https://vusec.github.io/inspectre-gadget/

Apache License 2.0

37 stars 3 forks source link

Open AlviseDeFaveri opened 8 months ago

AlviseDeFaveri commented 8 months ago

[x] 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