A Framework for Property-driven Program Slicing

In this paper we refine the traditional program slicing technique proposed by Mark Weiser along with the static analysis and dataflow analysis results on a given program in order to remove the statements that do not affect a given property. 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. This results into a deeper insight on the strong relation between slicing and property based dependency