Property Driven Program Slicing
Sukriti Bhattacharya, Agostino Cortesi · ARCA (Università Ca' Foscari Venezia) · 2008
In this paper we are trying to combine the traditional proram slicing technique proposed by Mark Weiser[1] along with the static analysis and dataow analysis results on a given program to remove the statements that do not aect a given property.Hence we named it Property Driven Program Slicing.In order to do that we apply a forward static analysis to extract properties of each variable in each program point, followed by a backward slicing algorithm to collect the slice based on the static analysis based informations.The aim of the present paper is to further rene the traditional slicing technique by combining it with abstract interpretation and data ow analysis.This results into a deeper insight on the strong relation between slicing and property based dependency.