Abstract
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus provides a library of classes that enables users to quickly assemble a highly customized non-system dependence graph based inter-procedural program slicer capable of slicing concurrent Java programs. Kaveri is an Eclipse plugin that relies on the above library to deliver program slicing to the eclipse platform. Apart from the basic feature for generating program slices from within eclipse along with an intuitive UI to view the slice, the plugin also provides the capability for chasing various dependences in the application to understand the slice.
This work was supported in part by the U.S. Army Research Office (DAAD190110564), by DARPA/IXO’s PCES program (AFRL Contract F33615-00-C-3044), by NSF (CCR-0306607) by Lockheed Martin, and by Intel Corporation.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Krinke, J.: Advanced Slicing of Sequntial and Concurrent Programs. PhD thesis, Fakultät für Mathematik und Informatik, Universität Passau (2003)
Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Păsăreanu, C.S., Robby, Z.H.: Bandera: Extracting finite-state models from Java source code. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), pp. 439–448 (2000)
Sable Group: Soot, a Java Optimization Framework., http://www.sable.mcgill.ca/soot/
Ranganath, V.P., Hatcliff, J.: Pruning interference and ready dependence for slicing concurrent java programs. In: Duesterwald, E. (ed.) CC 2004, vol. 2985, pp. 39–56. Springer, Heidelberg (2004)
Hatcliff, J., Corbett, J.C., Dwyer, M.B., Sokolowski, S., Zheng, H.: A formal study of slicing for multi-threaded programs with JVM concurrency primitives. In: Proceedings on the International Symposium on Static Analysis, SAS 1999 (1999)
Ranganath, V.P., Amtoft, T., Banerjee, A., Dwyer, B.M., Hatcliff, J.: A new foundation for control-dependence and slicing for modern program structures. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 77–93. Springer, Heidelberg (2005)
Krinke, J.: Static slicing of threaded programs. In: Proceedings ACM SIGPLAN/SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 1998). ACM SIGPLAN Notices, vol. 33(7), pp. 35–42 (1998)
Ranganath, V.P.: Object-Flow Analysis for Optimizing Finite-State Models of Java Software. Master’s thesis, Kansas State University (2002)
OTI: Eclipse, an open extensible IDE written in Java. http://www.eclipse.org
SAnToS Laboratory: Indus. http://indus.projects.cis.ksu.edu
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jayaraman, G., Ranganath, V.P., Hatcliff, J. (2005). Kaveri: Delivering the Indus Java Program Slicer to Eclipse. In: Cerioli, M. (eds) Fundamental Approaches to Software Engineering. FASE 2005. Lecture Notes in Computer Science, vol 3442. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31984-9_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-31984-9_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25420-1
Online ISBN: 978-3-540-31984-9
eBook Packages: Computer ScienceComputer Science (R0)