基于控制流的多线程程序的静态切片算法

张　晶　金成植

提要：介绍一种基于控制流的多线程程序的静态切片算法，该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息，利用这些信息能够判断出程序中的多线程可实现路径，从而提高多线程程序静态切片的精度和效率．最后给出一个多线程切片的实例，

关键词：多线程程序；程序依赖图；程序切片；切片算法

中图分类号：TP312

文献标识码：A

文章编号：167l—5489(2003)04—048l—06