execution path analysis
执行路径分析
以上为机器翻译结果，长、整句建议使用 人工翻译 。
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.
实例结果表明，该算法能免去传统符号执行中对于路径可行性的分析，从而降低时间复杂度。
youdao
应用推荐
模块上移
模块下移
不移动