Kaveri: delivering the indus java program slicer to eclipse

Authors:
Ganeshan Jayaraman;Venkatesh Prasad Ranganath;John Hatcliff
Affiliations:
Department of Computing and Information Sciences, Kansas State University, Manhattan, KS;Department of Computing and Information Sciences, Kansas State University, Manhattan, KS;Department of Computing and Information Sciences, Kansas State University, Manhattan, KS
Venue:
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Year:
2005

Citing 4
Cited 11

Static slicing of threaded programs

Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Bandera: extracting finite-state models from Java source code

Proceedings of the 22nd international conference on Software engineering
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives

SAS '99 Proceedings of the 6th International Symposium on Static Analysis
A new foundation for control-dependence and slicing for modern program structures

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems

An empirical study of static program slice size

ACM Transactions on Software Engineering and Methodology (TOSEM)
New Frontiers of Reverse Engineering

FOSE '07 2007 Future of Software Engineering
Slicing obfuscations: design, correctness, and evaluation

Proceedings of the 2007 ACM workshop on Digital Rights Management
Empirical-based recovery and maintenance of input error-correction features

Journal of Software Maintenance and Evolution: Research and Practice
Heuristics-based infeasible path detection for dynamic test data generation

Information and Software Technology
Model checking sequential software programs via mixed symbolic analysis

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Actor-based slicing techniques for efficient reduction of Rebeca models

Science of Computer Programming
A new foundation for control-dependence and slicing for modern program structures

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Improved methods and measures for computing dynamic program slices in stochastic simulations

Proceedings of the Winter Simulation Conference
DUA-forensics: a fine-grained dependence analysis and instrumentation framework based on Soot

Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis

Quantified Score

Hi-index	0.01

Visualization

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.