At each path branch point,the executive context is on-demand cloned to avoid re-executing the same path prefix of several paths,and path conditions of selected branch are solved in time to prune infeasible paths.
而每次在路径分叉点,按需克隆执行环境以避免相同路径前缀的重复执行,并立即求解所选取分支的路径条件集,以及时剪除不可行的路径分支。
参考来源 - 多重循环程序内存访问越界增量检测方法·2,447,543篇论文数据，部分数据来源于NoteExpress
If the images are located in a different path, create a new asset group with a new Prefix URL and update both logo.gif and logo.jpg asset attributes to use the new asset group.
如果图像位于不同的路径，则创建一个带有新的Prefix URL的新资产组，并更新logo . gif和logo . j pg资产属性以使用新的资产组。
The Informix communication libraries will trace all the SQLI messages into a series of files, with one file per connection, and with the prefix path provided in the SQLIDEBUG variable.
Informix通信库将跟踪传入一系列文件中的所有SQLI消息中，每个连接一个文件，还提供了SQLIDEBUG变量中提供的前缀路径。
This can be changed by specifying the desired location (as an absolute directory path) as the value of the prefix option of the make install command in the listing above.
通过将所期望的位置（作为一个绝对目录路径）指定为上面清单中 make install 命令的 prefix 选项的值，就可以更改这个位置。
应用推荐