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

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