Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries

Fangzheng Lin, Zhongfa Wang, Hiroshi Sasaki

Speculative execution is crucial in enhancing modern processor performance but can introduce Spectre-type vulnerabilities that may leak sensitive information. Detecting Spectre gad…