Inspecting the Residual Attack Surface of Cross-privilege Spectre v2 TL;DR We present InSpectre Gadget, an in-depth Spectre gadget inspector that uses symbolic execution to accurately reason about exploitability of usable gadgets. Our tool performs generic…