Proceedings Eighth Working Conference on Reverse Engineering (2001)
Oct. 2, 2001 to Oct. 5, 2001
Mark Harman , Brunel University
Rob Hierons , Brunel University
Chris Fox , University of London
Sebastian Danicic , University of London
John Howroyd , University of London
Mike Laurence , University of London
Several approaches to reverse and re-engineering are based upon program slicing. Unfortunately, for large systems, such as those which typically form the subject of reverse engineering activities, the space and time requirements of slicing can be a barrier to successful application.Faced with this problem, several authors have found it helpful to merge Control Flow Graph (CFG) nodes, thereby improving the space and time requirements of standard slicing algorithms. The node-merging process essentially creates a `coarser' version of the original CFG.This paper introduces a theory for defining Control Flow Graph node coarsening calculi. The theory formalizes properties of interest, when coarsening is used as a precursor to program slicing. The theory is illustrated with a case study of a coarsening calculus, which is proved to have the desired properties of sharpness and consistency.
slicing, slice precision, node merging
M. Harman, J. Howroyd, S. Danicic, C. Fox, M. Laurence and R. Hierons, "Node Coarsening Calculi for Program Slicing," Proceedings Eighth Working Conference on Reverse Engineering(WCRE), Suttgart, Germany, 2001, pp. 25.