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 and Description
static class	Slicer.ControlDependenceOptions options to control control dependence edges in the sdg
static class	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 and Description
static boolean	DEBUG
static boolean	VERBOSE

Constructor Summary

Constructors

Constructor and Description
Slicer()

Method Summary

Modifier and Type	Method and Description
static Collection<Statement>	computeBackwardSlice(SDG<?> sdg, Collection<Statement> ss) Use the passed-in SDG
static Collection<Statement>	computeBackwardSlice(SDG<?> sdg, Statement s) 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, com.ibm.wala.util.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 Detail

DEBUG

public static final boolean DEBUG

See Also:

Constant Field Values

VERBOSE

public static final boolean VERBOSE

See Also:

Constant Field Values

Constructor Detail

Slicer

public Slicer()

Method Detail

computeBackwardSlice

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

Parameters:

s - a statement of interest

Returns:

the backward slice of s.

Throws:

IllegalArgumentException

com.ibm.wala.util.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,
                                                                                com.ibm.wala.util.CancelException

Parameters:

s - a statement of interest

Returns:

the forward slice of s.

Throws:

IllegalArgumentException

com.ibm.wala.util.CancelException

computeBackwardSlice

public static Collection<Statement> computeBackwardSlice(SDG<?> sdg,
                                                         Statement s)
                                                  throws IllegalArgumentException,
                                                         com.ibm.wala.util.CancelException

Use the passed-in SDG

Throws:

IllegalArgumentException

com.ibm.wala.util.CancelException

computeForwardSlice

public static Collection<Statement> computeForwardSlice(SDG<?> sdg,
                                                        Statement s)
                                                 throws IllegalArgumentException,
                                                        com.ibm.wala.util.CancelException

Use the passed-in SDG

Throws:

IllegalArgumentException

com.ibm.wala.util.CancelException

computeBackwardSlice

public static Collection<Statement> computeBackwardSlice(SDG<?> sdg,
                                                         Collection<Statement> ss)
                                                  throws IllegalArgumentException,
                                                         com.ibm.wala.util.CancelException

Use the passed-in SDG

Throws:

IllegalArgumentException

com.ibm.wala.util.CancelException

computeSlice

protected static Collection<Statement> computeSlice(SDG<?> sdg,
                                                    Collection<Statement> ss,
                                                    boolean backward)
                                             throws com.ibm.wala.util.CancelException

Parameters:

ss - a collection of statements of interest

Throws:

com.ibm.wala.util.CancelException

slice

public Collection<Statement> slice(SDG<?> sdg,
                                   Collection<Statement> roots,
                                   boolean backward)
                            throws com.ibm.wala.util.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:

com.ibm.wala.util.CancelException

slice

public Collection<Statement> slice(SDG<?> sdg,
                                   Collection<Statement> roots,
                                   boolean backward,
                                   com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
                            throws com.ibm.wala.util.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:

com.ibm.wala.util.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,
                                                         com.ibm.wala.util.CancelException

Parameters:

s - a statement of interest

Returns:

the backward slice of s.

Throws:

IllegalArgumentException

com.ibm.wala.util.CancelException