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