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