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

Methods

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 Collection<Statement>	computeBackwardSlice(Statement s, CallGraph cg, PointerAnalysis<InstanceKey> pa, Slicer.DataDependenceOptions dOptions, Slicer.ControlDependenceOptions cOptions)
static Collection<Statement>	computeForwardSlice(SDG sdg, Statement s) Use the passed-in SDG
static Collection<Statement>	computeForwardSlice(Statement s, CallGraph cg, PointerAnalysis<InstanceKey> 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.

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 Collection<Statement> computeBackwardSlice(Statement s,
                                         CallGraph cg,
                                         PointerAnalysis<InstanceKey> 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:

com.ibm.wala.util.CancelException

IllegalArgumentException

computeForwardSlice

public static Collection<Statement> computeForwardSlice(Statement s,
                                        CallGraph cg,
                                        PointerAnalysis<InstanceKey> 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:

com.ibm.wala.util.CancelException

IllegalArgumentException

computeBackwardSlice

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

Use the passed-in SDG

Throws:

com.ibm.wala.util.CancelException

IllegalArgumentException

computeForwardSlice

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

Use the passed-in SDG

Throws:

com.ibm.wala.util.CancelException

IllegalArgumentException

computeBackwardSlice

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

Use the passed-in SDG

Throws:

com.ibm.wala.util.CancelException

IllegalArgumentException

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

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:

com.ibm.wala.util.CancelException

IllegalArgumentException