• 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
• 3.A movement that prizes “martyrdom” will not let the propaganda opportunities of its symbolic leader's execution be wasted.
  其象征性领导者逝去了，一个珍视“殉道”的组织是不会白白浪费掉这个大好的宣传机会的。
  dict.yoduao.com

©2026 网易公司