Package com.ibm.wala.ipa.slicer

Interface Summary

ISDG	Interface for an SDG (loosely defined here as a graph of Statements.
ValueNumberCarrier

Class Summary

ExceptionalReturnCallee	A Statement representing the exceptional return value in a callee, immediately before returning to the caller.
ExceptionalReturnCaller	A Statement representing the exceptional return value in a caller, immediately after returning to the caller.
GetCaughtExceptionStatement	identifier of a GetCaughtException instruction
HeapExclusions	heap locations that should be excluded from data dependence during slicing
HeapReachingDefs	Computation of reaching definitions for heap locations, relying on pointer analysis
HeapStatement
HeapStatement.HeapParamCallee
HeapStatement.HeapParamCaller
HeapStatement.HeapReturnCallee
HeapStatement.HeapReturnCaller
MethodEntryStatement	A statement representing method entry, used for managing control dependence.
MethodExitStatement	A Statement representing method exit used as a dummy exit for starting propagation to a seed statement in backwards slicing.
NormalReturnCallee	A Statement representing the normal return value in a callee, immediately before returning to the caller.
NormalReturnCaller	A Statement representing the normal return value in a caller, immediately after returning to the caller.
NormalStatement	A statement that has a corresponding index in the SSA IR
ParamCallee	A Statement representing a formal parameter
ParamCaller	A Statement representing an actual parameter
PDG	Program dependence graph for a single call graph node
PhiStatement	identifier of a phi instruction
PiStatement	identifier of a Pi instruction
ReachabilityFunctions<T>	Trivial flow functions to represent simple reachability.
SDG	System dependence graph.
SliceFunctions	flow functions for flow-sensitive context-sensitive slicer
Slicer	A demand-driven context-sensitive slicer.
Slicer.SliceProblem	Tabulation problem representing slicing
Statement	Identifier of a statement in an SDG.
StatementWithInstructionIndex	A Statement which carries an instruction index, representing the index of an SSAInstruction in the IR instruction array.

Enum Summary

Slicer.ControlDependenceOptions	options to control control dependence edges in the sdg
Slicer.DataDependenceOptions	options to control data dependence edges in the SDG
Statement.Kind