无特殊接口或者类路径限制。
对每条路径,它都产生一组以程序输入变量表示的路径限制条件。
For each path, a set of constraints on the program's input variables are created.
如果路径是链接,那么它链接的真实路径也应该满足这个长度限制。
If the path is a link, the real path it links to should also follow this length limit.
应用推荐