Efficient Symbolic Execution for Reviving Arbitrary Speculative Code Execution

Summary

A research paper introduces Speculative Return-Oriented Programming (SROP), a technique that chains speculative execution gadgets to enable side-channel attacks despite limited gadget availability. It leverages branch mispredictions to trigger speculative buffer overflows, enabling transient overwrites of return addresses and redirection to attacker-controlled gadget sequences. The researcher also presents SymSpec, a tool that improves the detection of speculative gadgets.

Based on the report, this work does not describe a new vulnerability but rather builds on previously disclosed Spectre-class issues, primarily Spectre Variant 1 . Existing mitigation guidance for Spectre-class issues remains effective and applicable to the methods outlined in the researcher’s report. 

Mitigation

Please refer to the white paper "Software Techniques for Managing Speculation on AMD Processors" in the References section for additional guidance.

Affected Products

All “Zen” Processors

Acknowledgement 

AMD thanks Milad Esrafilian for submitting the report and engaging in coordinated vulnerability disclosure. 

References

DISCLAIMER

The information contained herein is for informational purposes only and is subject to change without notice. While every precaution has been taken in the preparation of this document, it may contain technical inaccuracies, omissions and typographical errors, and AMD is under no obligation to update or otherwise correct this information. Advanced Micro Devices, Inc. makes no representations or warranties with respect to the accuracy or completeness of the contents of this document, and assumes no liability of any kind, including the implied warranties of noninfringement, merchantability or fitness for particular purposes, with respect to the operation or use of AMD hardware, software or other products described herein. Any computer system has risks of security vulnerabilities that cannot be completely prevented or mitigated. No license, including implied or arising by estoppel, to any intellectual property rights is granted by this document. Terms and limitations applicable to the purchase or use of AMD's products are as set forth in a signed agreement between the parties or in AMD's Standard Terms and Conditions of Sale.

AMD, the AMD Arrow logo, EPYC, Ryzen, ThreadRipper, and combinations thereof are trademarks of Advanced Micro Devices, Inc. CVE and the CVE logo are registered trademarks of The MITRE Corporation. Other product names used in this publication are for identification purposes only and may be trademarks of their respective companies.

Third party content may be licensed to you directly by the third party that owns the content and is not licensed to you by AMD. ALL LINKED THIRD-PARTY CONTENT IS PROVIDED 'AS IS' WITHOUT A WARRANTY OF ANY KIND. USE OF SUCH THIRD-PARTY CONTENT IS DONE AT YOUR SOLE DISCRETION AND UNDER NO CIRCUMSTANCES WILL AMD BE LIABLE TO YOU FOR ANY THIRD PARTY CONTENT. YOU ASSUME ALL RISK AND ARE SOLELY RESPONSIBILITY FOR ANY DAMAGES THAT MAY ARISE FROM YOUR USE OF THIRD-PARTY CONTENT.

© 2026 Advanced Micro Devices, Inc. All rights reserved.