juqian / slithice

the repository of Slithice project

Slithice: A system dependence graph based program slicer. [Experimental]

Features:

• side-effect analysis
  various levels of heap abstraction
  with escape analyses to filter results

• reaching-definition analysis (with definitions to heaps under consideration)

• procedure depdence graph construction

• system dependence graph construction
  with various levels of implicit parameter abstraction
  can restrict the analysis depth of library methods

• intra-procedural slcing

• inter-procedural slicing

• bar diagram based global slice view

• slice highlighting in editor view

• show various graphs with dot (or jgraph)

slithice's Issues

Is there a use guide?

Hi,
There are some questions . Firstly, Do you have a scientific paper for you tool? Secondly, how can I use the tool ? Is there an Example?
Waiting for you reply.

Configuration Options for Slithice Slicer

不好意思，打扰了，Eclipse中Configuration Options for Slithice Slicer怎么找出来？

请问一下SDG构造代码实现的论文原文是什么？

请问开发用的jdk版本是什么

在我的eclipse上面解压了这个插件，在使用的时候出现了 The chosen operation is not currently available 的错误