By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph (SDG) -based algorithms for addressing the calling-context problem.

• 待定标号的引入使得所提切片算法可捕获类似基于系统依赖图(SDG)切片算法中的概要信息，且也可避免上下文调用问题。