• 1. symbolic execution: 符号执行 | 参考符号执行 | 对字节码的符号追踪 | 符号化执行
• 2. dynamic symbolic execution: 动态符号执行
• 3. symbolic execution technique: 符号执行技术

更多释义

• 1.This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.
  本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
  dict.yoduao.com
• 2.Experimental results show that the path feasibility analysis of traditional symbolic evaluation can be omitted. So it can reduce the time complexity by using symbolic execution algorithm.
  实例结果表明，该算法能免去传统符号执行中对于路径可行性的分析，从而降低时间复杂度。
  dict.yoduao.com

©2026 网易公司