Indus - Kaveri

Ganeshan Jayaraman

Kansas State University

Table of Contents

Introduction
Requirement
Name
Install / Uninstall
Installation
Uninstall
Concepts
Setup
Setting up Kaveri
Running Kaveri
Steps
Dependence Chasing
Dependence Tracking View
Dependence History View
Parametric Regular Path Queries
Features
Toolbar buttons
Slice label decoration
Criteria View
Indus Menu
Appendix - How to pick criteria
Examples of picking Jimple criteria
Appendix - Creating Scope Specifications
Appendix - Creating Contexts
Appendix - Adding custom root methods
Appendix - Performance
Bibliography

Introduction

Kaveri is an eclipse plug-in front-end for the Indus Java slicer. It utilizes the Indus program slicer to calculate slices of Java programs and then displays the results visually in the editor. The purpose of this project is to create an effective tool for simplifying program understanding, program analysis, program debugging and testing.