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 |
|
ParamCaller |
|
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.
|