Package com.ibm.wala.ipa.slicer

Class Slicer

java.lang.Object

com.ibm.wala.ipa.slicer.Slicer

public class Slicer
extends Object

A demand-driven context-sensitive slicer.

This computes a context-sensitive slice, building an SDG and finding realizable paths to a statement using tabulation.

This implementation uses a preliminary pointer analysis to compute data dependence between heap locations in the SDG.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	Slicer.ControlDependenceOptions	options to control control dependence edges in the sdg
static enum	Slicer.DataDependenceOptions	options to control data dependence edges in the SDG
static class	Slicer.SliceProblem	Tabulation problem representing slicing

Field Summary

Fields

Modifier and Type	Field	Description
static final boolean	DEBUG
static final boolean	VERBOSE

Constructor Summary

Constructors

Constructor	Description
Slicer()

Method Summary

Modifier and Type	Method	Description
static Collection<Statement>	computeBackwardSlice(SDG<?> sdg, Statement s)	Use the passed-in SDG
static Collection<Statement>	computeBackwardSlice(SDG<?> sdg, Collection<Statement> ss)	Use the passed-in SDG
static Collection<Statement>	computeBackwardSlice(Statement s, CallGraph cg, PointerAnalysis<InstanceKey> pointerAnalysis)
static <U extends InstanceKey> Collection<Statement>	computeBackwardSlice(Statement s, CallGraph cg, PointerAnalysis<U> pa, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions)
static Collection<Statement>	computeForwardSlice(SDG<?> sdg, Statement s)	Use the passed-in SDG
static <U extends InstanceKey> Collection<Statement>	computeForwardSlice(Statement s, CallGraph cg, PointerAnalysis<U> pa, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions)
protected static Collection<Statement>	computeSlice(SDG<?> sdg, Collection<Statement> ss, boolean backward)
protected Slicer.SliceProblem	makeSliceProblem(Collection<Statement> roots, ISDG sdgView, boolean backward)	Return an object which encapsulates the tabulation logic for the slice problem.
Collection<Statement>	slice(SDG<?> sdg, Collection<Statement> roots, boolean backward)	Main driver logic.
Collection<Statement>	slice(SDG<?> sdg, Collection<Statement> roots, boolean backward, MonitorUtil.IProgressMonitor monitor)	Main driver logic.

Methods inherited from class java.lang.Object

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

Field Details

DEBUG

public static final boolean DEBUG

See Also:

• Constant Field Values

VERBOSE

public static final boolean VERBOSE

See Also:

• Constant Field Values

Constructor Details

Slicer

public Slicer()

Method Details

computeBackwardSlice

public static <U extends InstanceKey>
Collection<Statement> computeBackwardSlice(Statement s,
 CallGraph cg,
 PointerAnalysis<U> pa,
 Slicer.DataDependenceOptions dOptions,
 Slicer.ControlDependenceOptions cOptions)
                                    throws IllegalArgumentException,
CancelException

Parameters:

s - a statement of interest

Returns:

the backward slice of s.

Throws:

IllegalArgumentException

CancelException

computeForwardSlice

public static <U extends InstanceKey>
Collection<Statement> computeForwardSlice(Statement s,
 CallGraph cg,
 PointerAnalysis<U> pa,
 Slicer.DataDependenceOptions dOptions,
 Slicer.ControlDependenceOptions cOptions)
                                   throws IllegalArgumentException,
CancelException

Parameters:

s - a statement of interest

Returns:

the forward slice of s.

Throws:

IllegalArgumentException

CancelException

computeBackwardSlice

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

Use the passed-in SDG

Throws:

IllegalArgumentException

CancelException

computeForwardSlice

public static Collection<Statement> computeForwardSlice(SDG<?> sdg,
 Statement s)
                                                 throws IllegalArgumentException,
CancelException

Use the passed-in SDG

Throws:

IllegalArgumentException

CancelException

computeBackwardSlice

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

Use the passed-in SDG

Throws:

IllegalArgumentException

CancelException

computeSlice

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

Parameters:

ss - a collection of statements of interest

Throws:

CancelException

slice

public Collection<Statement> slice(SDG<?> sdg,
 Collection<Statement> roots,
 boolean backward)
                            throws CancelException

Main driver logic.

Parameters:

sdg - governing system dependence graph

roots - set of roots to slice from

backward - do a backwards slice?

Returns:

the Statements found by the slicer

Throws:

CancelException

slice

public Collection<Statement> slice(SDG<?> sdg,
 Collection<Statement> roots,
 boolean backward,
 MonitorUtil.IProgressMonitor monitor)
                            throws CancelException

Main driver logic.

Parameters:

sdg - governing system dependence graph

roots - set of roots to slice from

backward - do a backwards slice?

monitor - to cancel analysis if needed

Returns:

the Statements found by the slicer

Throws:

CancelException

makeSliceProblem

protected Slicer.SliceProblem makeSliceProblem(Collection<Statement> roots,
 ISDG sdgView,
 boolean backward)

Return an object which encapsulates the tabulation logic for the slice problem. Subclasses can override this method to implement special semantics.

computeBackwardSlice

public static Collection<Statement> computeBackwardSlice(Statement s,
 CallGraph cg,
 PointerAnalysis<InstanceKey> pointerAnalysis)
                                                  throws IllegalArgumentException,
CancelException

Parameters:

s - a statement of interest

Returns:

the backward slice of s.

Throws:

IllegalArgumentException

CancelException