This article presents an end-to-end tool that, starting from a processor and a set of security-critical invariants, automatically generates exploits to help designers find security threats.

中文翻译：

---

端到端自动利用漏洞生成程序进行处理器安全性验证

本文介绍了一种端到端工具，该工具从处理器和一组对安全性至关重要的不变式开始，可以自动生成漏洞以帮助设计人员发现安全威胁。