Uses of Package
com.ibm.wala.ipa.slicer

Packages that use com.ibm.wala.ipa.slicer

Package	Description
com.ibm.wala.demandpa.util
com.ibm.wala.ipa.modref
com.ibm.wala.ipa.slicer
com.ibm.wala.ipa.slicer.thin

Classes in com.ibm.wala.ipa.slicer used by com.ibm.wala.demandpa.util

Class and Description
SDG System dependence graph.
Statement Identifier of a statement in an SDG.

Classes in com.ibm.wala.ipa.slicer used by com.ibm.wala.ipa.modref

Class and Description
HeapExclusions heap locations that should be excluded from data dependence during slicing

Classes in com.ibm.wala.ipa.slicer used by com.ibm.wala.ipa.slicer

Class and Description
HeapExclusions heap locations that should be excluded from data dependence during slicing
HeapStatement
ISDG Interface for an SDG (loosely defined here as a graph of Statements.
PDG Program dependence graph for a single call graph node
PDG.Dependency BEGIN Custom change: control deps
ReachabilityFunctions Trivial flow functions to represent simple reachability.
SDG System dependence graph.
Slicer.ControlDependenceOptions options to control control dependence edges in the sdg
Slicer.DataDependenceOptions options to control data dependence edges in the SDG
Slicer.SliceProblem Tabulation problem representing slicing
Statement Identifier of a statement in an SDG.
Statement.Kind
StatementWithInstructionIndex A Statement which carries an instruction index, representing the index of an SSAInstruction in the IR instruction array.
ValueNumberCarrier

Classes in com.ibm.wala.ipa.slicer used by com.ibm.wala.ipa.slicer.thin

Class and Description
ISDG Interface for an SDG (loosely defined here as a graph of Statements.
PDG Program dependence graph for a single call graph node
SDG System dependence graph.
Slicer.ControlDependenceOptions options to control control dependence edges in the sdg
Slicer.DataDependenceOptions options to control data dependence edges in the SDG
Statement Identifier of a statement in an SDG.