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
应用推荐