Add reasoner support for dispatch gadgets (TFPs)

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

Open SanWieb opened 10 months ago

SanWieb commented 10 months ago

Currently the reasoner only supports disclosure gadgets. We should add support for dispatch gadgets (TFPs). Main thing to reason about: