Abstract Interpretation under Speculative Execution

Meng Wu, Chao Wang

Analyzing the behavior of a program running on a processor that supports speculative execution is crucial for applications such as execution time estimation and side channel detect…