Static slicing in Unix process environment

We present a method for computing static slices of concurrent programs in a Unix process environment. As a part of our methodology, we introduce the n otion of a Concurrent Program Dependence Graph (CPDG), A CPDG represents va rious aspects of concurrent programs in a hierarchical fashion. This hierar chical representation lets us compute static slices of programs at differen t levels of abstraction. Based on our methodology, we have implemented a st atic slicing tool supporting an option to view slices of programs at differ ent levels of details. Experience with our implementation shows that this a pproach helps the user get a better understanding of the behavior of concur rent programs. Copyright (C) 2000 John Wiley & Sons, Ltd.