Package com.ibm.wala.cast.java.ipa.slicer

Class AstJavaSlicer

java.lang.Object

com.ibm.wala.cast.java.ipa.slicer.AstJavaSlicer

public class AstJavaSlicer
extends Object

Constructor Summary

Constructors

Constructor	Description
AstJavaSlicer()

Method Summary

Modifier and Type	Method	Description
static Pair<Collection<Statement>,SDG<? extends InstanceKey>>	computeAssertionSlice(CallGraph CG, PointerAnalysis<? extends InstanceKey> pa, Collection<CGNode> partialRoots, boolean multiThreadedCode)
static Collection<Statement>	computeBackwardSlice(SDG<?> sdg, Collection<Statement> ss)
static Collection<Statement>	computeSlice(SDG<?> sdg, Collection<Statement> ss, boolean backward)
static Set<Statement>	gatherAssertions(CallGraph CG, Collection<CGNode> partialRoots)
static Set<Statement>	gatherMonitors(CallGraph CG, Collection<CGNode> partialRoots)
static Set<Statement>	gatherReads(CallGraph CG, Collection<CGNode> partialRoots)
static Set<Statement>	gatherStatements(CallGraph CG, Collection<CGNode> partialRoots, Predicate<SSAInstruction> filter)
static Set<Statement>	gatherWrites(CallGraph CG, Collection<CGNode> partialRoots)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AstJavaSlicer

public AstJavaSlicer()

Method Details

computeBackwardSlice

public static Collection<Statement> computeBackwardSlice(SDG<?> sdg,
 Collection<Statement> ss)
                                                  throws IllegalArgumentException,
CancelException

Throws:

IllegalArgumentException

CancelException

computeSlice

public static Collection<Statement> computeSlice(SDG<?> sdg,
 Collection<Statement> ss,
 boolean backward)
                                          throws CancelException

Parameters:

ss - a collection of statements of interest

Throws:

CancelException

gatherStatements

public static Set<Statement> gatherStatements(CallGraph CG,
 Collection<CGNode> partialRoots,
 Predicate<SSAInstruction> filter)

gatherAssertions

public static Set<Statement> gatherAssertions(CallGraph CG,
 Collection<CGNode> partialRoots)

gatherMonitors

public static Set<Statement> gatherMonitors(CallGraph CG,
 Collection<CGNode> partialRoots)

gatherWrites

public static Set<Statement> gatherWrites(CallGraph CG,
 Collection<CGNode> partialRoots)

gatherReads

public static Set<Statement> gatherReads(CallGraph CG,
 Collection<CGNode> partialRoots)

computeAssertionSlice

public static Pair<Collection<Statement>,SDG<? extends InstanceKey>> computeAssertionSlice(CallGraph CG,
 PointerAnalysis<? extends InstanceKey> pa,
 Collection<CGNode> partialRoots,
 boolean multiThreadedCode)
                                                                                    throws IllegalArgumentException,
CancelException

Throws:

IllegalArgumentException

CancelException