Interface | Description |
---|---|
ISDG |
Interface for an SDG (loosely defined here as a graph of
Statement s. |
ValueNumberCarrier |
Class | Description |
---|---|
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<T extends InstanceKey> |
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<T extends InstanceKey> |
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<T extends InstanceKey> |
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 | Description |
---|---|
PDG.Dependency |
BEGIN Custom change: control deps
|
Slicer.ControlDependenceOptions |
options to control control dependence edges in the sdg
|
Slicer.DataDependenceOptions |
options to control data dependence edges in the SDG
|
Statement.Kind |