...；不可达路径 [gap=1009]sting; extended finite state machine; finite state machine; statechart diagrams; infeasible paths ...
基于38个网页-相关网页
流事实信息通常包括循环的最大迭代次数、递归调用的 最大深度、不可行路径（infeasible path）和其它的程序流约束 信息，其中不可行路径是指对任意输入数据都不可能执行的 程序路径。
基于38个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress