This paper presents an automatic verification method for possible software defects based on finite backtracking symbolicexecution.
本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
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 symbolicexecution algorithm.
实例结果表明，该算法能免去传统符号执行中对于路径可行性的分析，从而降低时间复杂度。
3
A movement that prizes “martyrdom” will not let the propaganda opportunities of its symbolic leader's execution be wasted.