|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
|---|---|
| ISDG | interface for an SDG |
| ParamStatement.CallStatementCarrier | |
| ParamStatement.ValueNumberCarrier | |
| Class Summary | |
|---|---|
| GetCaughtExceptionStatement | identifier of a GetCaughtException instruction |
| HeapExclusions | heap locations that should be excluded from data dependence during slicing |
| HeapReachingDefs | |
| HeapStatement | |
| HeapStatement.ParamCallee | |
| HeapStatement.ParamCaller | |
| HeapStatement.ReturnCallee | |
| HeapStatement.ReturnCaller | |
| MethodEntryStatement | A statement representing method entry, used for managing control dependence |
| NormalStatement | A statement that has a corresponding index in the bytecode (actually in the ShrikeBT representation) |
| ParamStatement | Represents parameter-passing statement in the SDG |
| ParamStatement.ExceptionalReturnCallee | |
| ParamStatement.ExceptionalReturnCaller | |
| ParamStatement.NormalReturnCallee | |
| ParamStatement.NormalReturnCaller | |
| ParamStatement.ParamCallee | |
| ParamStatement.ParamCaller | |
| PDG | Program dependence graph for a single call graph node |
| PhiStatement | identifier of a phi instruction |
| PiStatement | identifier of a phi instruction |
| SDG | System dependence graph. |
| SDGView | A view of an SDG that excludes certain statements |
| SliceFunctions | flow functions for FSCS slicer |
| Slicer | A demand-driven context-sensitive slicer. |
| Statement | Identifier of a statement in an SDG. |
| 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 | |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||