Interprocedural slicing using dependence graphs