[range-analysis] Bug fix: stride detection for multiplication

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

39 stars 3 forks source link

[range-analysis] Bug fix: stride detection for multiplication #23

Closed SanWieb closed 5 months ago

SanWieb commented 5 months ago

Fixes a bug in the stride detection for multiplication. The stride was not correct detected if the secret was multiplied via a multiplication (instead of shift).