Machine learningProgram analysis and verification
符号执行
符号执行是一种程序分析技术，它使用符号（非具体）值而不是实际输入来执行程序，并跟踪符号值在程序中的流动方式。符号执行由James C. King于1976年提出，它对程序变量建立数学约束，并能确定哪些输入会导致特定的程序行为，从而实现自动测试生成和漏洞检测。现代符号执行工具如KLEE、S2E和Z3已成为发现细微错误和安全漏洞的强大工具。
阅读完整方法
仅限会员
登录使用免费账户登录即可阅读本节。
方法图谱
相关方法的邻域——选择一个节点以展开探索。
来源
- King, J. C. (1976). Symbolic execution and program testing. Communications of the ACM, 19(7), 385-394. DOI: 10.1145/360248.360252 ↗
- Cadar, C., & Sen, K. (2013). Symbolic execution for software testing: Three decades later. Communications of the ACM, 56(2), 82-90. DOI: 10.1145/2408776.2408795 ↗
如何引用本页
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/zh/cryptography/symbolic-execution
选用哪种方法？
将本方法与其最相近的同类并置，并排研读——本馆将书籍铺陈于案上，取舍则由您定夺。
并排比较 →