fix load aliasing accross stores

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

fix load aliasing accross stores #25

Closed Mystaras closed 1 month ago

Mystaras commented 2 months ago

Fixed prev_loads iterator being consumed and not checking for aliasing loads across stores. Newly added aliases in the tests are being simplified to <Bool True> probably due to the added constraints.

SanWieb commented 1 month ago

Redundant <True> conditions are removed by 00b6278706322c004641d518f210c88352ce42e8