Skip to main content
  • Log in
  • Manage Cookies
Eclipse Plugins, Bundles and Products - Eclipse Marketplace
  • My Marketplace
  • Add Content
  • More
      • Community

      • Marketplace
      • Events
      • Planet Eclipse
      • Newsletter
      • Videos
      • Blogs
      • Participate

      • Report a Bug
      • Forums
      • Mailing Lists
      • Wiki
      • IRC
      • Research
      • Eclipse IDE

      • Download
      • Learn More
      • Documentation
      • Getting Started / Support
      • How to Contribute
      • IDE and Tools
      • Newcomer Forum
    • Search

  1. Home
  2. Marketplace
  3. Tools
  4. Kaveri : A Java Program Slicing Plugin

Please be aware that some listings have been temporarily delisted from our marketplace in order to improve the security of the platform. We apologize for any inconvenience this may caused.

For more information on this matter, please visit #1.

If you are a listing owner and would like to have your listing(s) reinstated, please open a ticket at https://gitlab.eclipse.org/eclipsefdn/it/websites/marketplace.eclipse.org/-/issues.

Thank you for your understanding and cooperation.

Kaveri : A Java Program Slicing Plugin

Kaveri : A Java Program Slicing Plugin
4
0

Details Group Tabs

Details

Kaveri provides a tool for performing static slicing of Java programs. Using Kaveri, the user can select a program point p and find all the program points that may depend on or influence the program behavior at p. The tool supports various data-flow or control-flow based influences/dependences at varying level of accuracy. Kaveri can handle both sequential and concurrent programs.

Building on the calculated information, Kaveri provides a rich set of views (Dependence tracking, Dependence history, Jimple View) that enable the user to explore various dependences in programs. It supports both simple select-click-view usage as well as expert configure-select-click-view usage. Features such as scoping and context-restriction allow the user to inject application-context information to improve scalability and accuracy.

Kaveri provides a scripting based query framework (based on GroovyMonkey plugin) that allows users to easily write scripts to customize the display of analysis information and to perform light-weight analysis building on existing analysis information.

Under the hood, Kaveri is powered by the program analysis and slicing framework catered by the Indus toolkit. Object-flow analysis, escape analysis, various dependence analyses, side-effect analysis, atomicity analysis, monitor analysis,and safe lock analysis are available in the Indus toolkit and are accessible via the scripting support in Kaveri.

Kaveri is availabe in both source and binary form under a free-for-non-commercial-use license from Santos Laboraties, Kansas State University (http://www.cis.ksu.edu/santos). For commercial purposes, please contact either Santos Laboratories or Venkatesh Prasad Ranganath (venkateshprasad.ranganath@gmail.com).

Categories:
  • Source Code Analyzer
Additional Details
Organization Name: 
Santos Laboratory
Development Status: 
Production/Stable
Date Created: 
Mon, 2006-10-30 14:36
Date Updated: 
Mon, 2014-01-06 10:52
Submitted by: 
Anonymous
Metrics
DateRankingInstallsClickthroughs
January 2023NA0 (0%)5
December 2022NA0 (0%)17
November 2022NA0 (0%)10
October 2022NA0 (0%)7
September 2022NA0 (0%)4
August 2022NA0 (0%)2
July 2022NA0 (0%)8
June 2022NA0 (0%)2
May 2022NA0 (0%)9
April 2022NA0 (0%)9
March 2022NA0 (0%)10
February 2022NA0 (0%)6
View Data for all Listings
Errors

Unsuccessful Installs in the last 7 Days: 0

Download last 500 errors (CSV)
  • Sign in to post reviews.

Markets

  • Eclipse Project (4)
  • Tools (1342)
    • Application Development Frameworks (171)
    • Application Management (32)
    • Application Server (31)
    • BIRT (10)
    • Build and Deploy (104)
    • Business Intelligence, Reporting and Charting (14)
    • Code Management (117)
    • Collaboration (37)
    • Database (44)
    • Database Development (34)
    • Database Persistence (17)
    • Documentation (60)
    • Eclipse Kura (122)
    • Eclipse SmartHome (46)
    • EclipseRT Target Platform Components (10)
    • Editor (339)
    • Entertainment (14)
    • General Purpose Tools (124)
    • Graphics (34)
    • IDE (344)
    • Internet of Things (IoT) (35)
    • J2EE Development Platform (44)
    • J2ME (5)
    • Languages (155)
    • Linux Tools (19)
    • Logging (22)
    • Mobile and Device Development (49)
    • Modeling (90)
    • Modeling Tools (146)
    • Mylyn Connectors (20)
    • Network (14)
    • Other (74)
    • Process (18)
    • Profiling (22)
    • Programming Languages (100)
    • Reporting (32)
    • Rich Client Applications (39)
    • Science (4)
    • SCM (20)
    • Search (42)
    • SOA Development (15)
    • Source Code Analyzer (99)
    • Systems Development (59)
    • Team Development (54)
    • Testing (90)
    • Tools (568)
    • UI (97)
    • UML (40)
    • Web (90)
    • Web Services (31)
    • Web, XML, Java EE and OSGi Enterprise Development (32)
    • XML (29)
  • IoT (172)
    • Eclipse Kura (122)
    • Eclipse SmartHome (46)
  • RCP Applications (79)
  • Training & Consulting (53)
  • Long Term Support (11)

Search

Advanced Search

More like this

  • pmd-eclipse-plugin
  • Optimize Java 8 Streams Refactoring
  • CodeMR Static Code Analyser
  • JProjectAnalyzer
  • JFrog Eclipse Plugin

Favorited by

Eclipse Foundation

  • About Us
  • Contact Us
  • Sponsor
  • Members
  • Governance
  • Code of Conduct
  • Logo and Artwork
  • Board of Directors
  • Careers

Legal

  • Publishing Guidelines
  • Privacy Policy
  • Terms of Use
  • Copyright Agent
  • Eclipse Public License
  • Legal Resources

Useful Links

  • Welcome to Marketplace
  • Report a Bug
  • Documentation
  • How to Contribute
  • Mailing Lists
  • Forums
  • Marketplace

Other

  • IDE and Tools
  • Projects
  • Working Groups
  • Research@Eclipse
  • Report a Vulnerability
  • Service Status

Copyright © Eclipse Foundation. All Rights Reserved.

Back to the top