System dependence graphs, an interprocedural extension to program dependence graphs, are an important tool in the analysis of program source code, especially for performing program slicing upon that code. Given the complexity of most programs, and the difficulty of creating program slices, it is vital to create system dependence graphs...