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
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 选项的值，就可以更改这个位置。
By default, the directories are rooted at /usr/local, although you can change the target root with the --prefix=/some/full/path/name option to ./configure.
默认情况下，安装的根目录为 /usr/local，但您可以对 ./configure 使用 --prefix=/some/full/path/name 选项来更改根目录。
应用推荐