符号执行是一种重要的程序分析技术，广泛应用于软件测试、漏洞挖掘和程序验证等领域。它通过将程序输入抽象为符号值，并利用约束求解器探索程序执行路径，能够系统地分析程序行为并发现潜在错误。近年来，符号执行技术在处理复杂程序路径爆炸、约束求解效率提升以及实际应用扩展等方面取得了显著进展。本文综述了符号执行的基本原理、关键技术、优化方法以及典型应用场景，总结了当前研究面临的挑战，并探讨了未来可能的发展方向，旨在为相关领域的研究者提供系统性的参考。