PROPERTY DRIVEN PROGRAM SLICING REFINEMENT

Sukriti Bhattacharya, Agostino Cortesi

Abstract

A slice is usually computed by analyzing how the effects of a computation are propagated through the code, i.e., by inferring dependencies. The aim of this paper is to further refine the traditional slicing technique by combining it with a static analysis in Abstract Interpretation based framework. This results into a deeper insight on the strong relation between slicing and property based dependency.

References

  1. Bhattacharya, S. (2011). Property driven program slicing and water marking in the abstract interpretation framework. PhD Thesis, Ca' Foscari University of Venice, Italy.
  2. Cortesi, A. and Halder, R. (2010). Dependence condition graph for semantics-based abstract program slicing. In proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, ACM Press, (1):4- 17.
  3. Cortesi, A. and Zanioli, M. (2010). Widening and narrowing operators for abstract interpretation. Computer Languages, Systems and Structures, 37(1):24-42.
  4. Cousot, P. and Cousot, R. (1977). Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the 4th ACM Symp. on Principles of Programming Languages, pages 238-252.
  5. Mastroeni, I., , and Nikolic'., D. (2010). Abstract program slicing: From theory towards an implementation. Formal Methods and Software Engineering, LNCS 6467, pages 452-456.
  6. Mastroeni, I. and Zanardini, D. (2008). Data dependencies and program slicing: from syntax to abstract semantics. Proceedings of ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pages 123-134.
  7. Nielson, F., Nielson, H., and Hankin, C. (1999). Principles of program analysis. Springer Verlag.
  8. Weiser, M. (1984). Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357.
Download


Paper Citation


in Harvard Style

Bhattacharya S. and Cortesi A. (2011). PROPERTY DRIVEN PROGRAM SLICING REFINEMENT . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 149-155. DOI: 10.5220/0003490101490155


in Bibtex Style

@conference{icsoft11,
author={Sukriti Bhattacharya and Agostino Cortesi},
title={PROPERTY DRIVEN PROGRAM SLICING REFINEMENT},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={149-155},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003490101490155},
isbn={978-989-8425-77-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - PROPERTY DRIVEN PROGRAM SLICING REFINEMENT
SN - 978-989-8425-77-5
AU - Bhattacharya S.
AU - Cortesi A.
PY - 2011
SP - 149
EP - 155
DO - 10.5220/0003490101490155