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.