The Community for Technology Leaders
2013 20th Working Conference on Reverse Engineering (WCRE) (2001)
Suttgart, Germany
Oct. 2, 2001 to Oct. 5, 2001
ISSN: 1095-1350
ISBN: 0-7695-1303-4
pp: 271
Mark Harman , Brunel University
Malcolm Munro , University of Durham
Xingyuan Zhang , University of Durham
Lin Hu , Brunel University
This paper presents a system for amorphous program slicing which combines slicing and transformation to achieve thinner slices than are possible using conventional syntax-preserving slicing. The approach involves the validation of the transformation and slicing steps using the Coq proof assistant, thereby guaranteeing the correctness of the amorphous slices produced. The combined application of slicing and transformation is illustrated with a simple case study.Several components of the system implement transformation tactics, such as side-effect removal and dependence reduction transformations which have wider applications than the construction of amorphous slices.
Amorphous Slicing, Transformation, Side Effects, Coq Proof Assistant
Mark Harman, Malcolm Munro, Xingyuan Zhang, Lin Hu, "GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation", 2013 20th Working Conference on Reverse Engineering (WCRE), vol. 00, no. , pp. 271, 2001, doi:10.1109/WCRE.2001.957831
106 ms
(Ver 3.3 (11022016))