Program slicing for C-the problems in implementation

Program slicing is a method of finding all statements that might directly or indirectly affect the values of variables. The concept was first proposed by M. Weiser (1981, 1984). Some of the problems and possible solutions of program slicing within the C language are discussed. Some basic notations and Weiser's original algorithm are presented. Then, slicing problems and solutions are described. For instance, how to find the correct slice in the presence or array and pointer variables and how to find break, continue, and goto statements that have effects on the slice. An algorithm to find the branch statements is introduced.<>