| Package | Description |
|---|---|
| soot.toolkits.graph |
Toolkit to produce and manipulate various types of control flow
graphs.
|
| Modifier and Type | Field and Description |
|---|---|
protected Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> |
ExceptionalUnitGraph.unitToExceptionDests |
| Modifier and Type | Method and Description |
|---|---|
protected Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> |
ExceptionalUnitGraph.buildExceptionDests(ThrowAnalysis throwAnalysis)
Utility method used in the construction of
UnitGraph variants which include
exceptional control flow. |
Collection<ExceptionalUnitGraph.ExceptionDest> |
ExceptionalUnitGraph.getExceptionDests(Unit u)
Returns a collection of
ExceptionDest objects which represent how exceptions
thrown by a specified unit will be handled. |
| Modifier and Type | Method and Description |
|---|---|
protected Set<Unit> |
ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis,
Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests,
Map<Unit,List<Unit>> unitToSuccs,
Map<Unit,List<Unit>> unitToPreds,
boolean omitExceptingUnitEdges)
Method to compute the edges corresponding to exceptional control flow.
|
Copyright © 2020 Soot OSS. All rights reserved.