?不可达路径

...；不可达路径 [gap=1009]sting; extended finite state machine; finite state machine; statechart diagrams; infeasible paths ...

?不可行路径

流事实信息通常包括循环的最大迭代次数、递归调用的 最大深度、不可行路径（infeasible path）和其它的程序流约束 信息，其中不可行路径是指对任意输入数据都不可能执行的 程序路径。