KIT | KIT-Bibliothek | Impressum | Datenschutz

An Improved Slicer for Java

Hammer, Christian; Snelting, Gregor


We present an improved slicing algorithm for Java. The best algorithm known so far, first presented in [11], is not always precise if nested objects are used as actual parameters. The new algorithm presented in this paper always generates correct and precise slices, but is more expensive in general. We describe the algorithms and their treatment of objects as parameters. In particular, we present a new, safe criterion for termination of unfolding nested parameter objects. We then compare the two algorithms by providing measurements for a benchmark of Java and JavaCard programs.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2004
Sprache Englisch
Identifikator ISBN: 1-58113-910-1
KITopen-ID: 1000017618
Erschienen in Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, Washington DC, USA, June 07 - 08, 2004
Verlag Association for Computing Machinery (ACM)
Seiten 17 - 22
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page