论文原文或翻译以引用的方式给出。 笔记则为正常文本。 目录 Introduction Overview of Mayhem Background Hybrid Symbolic Execution Index-based Memory Modeling Exploit Generation