InSpectre gadget v0.1 - Githubissues

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

InSpectre gadget v0.1 #17

Closed SanWieb closed 7 months ago

SanWieb commented 7 months ago

New features:

Improved test-case environment: automatically compare scanner + reasoner output with test-single.sh / test-all.sh
SLAM covert channel support
Code load covert channel support

Bug fixes:

Add wrap-around support for infer-isolated, improve disjoint ranges: https://github.com/vusec/inspectre-gadget/issues/3
Non satisfiable constraints after TFP substitution (70f575e78542344ce809fcf6452ad295e58a8b05)