| Interface | Description |
|---|---|
| ISDG |
Interface for an SDG (loosely defined here as a graph of
Statements. |
| 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 |
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 | 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 |
Copyright © 2015. All rights reserved.