|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ThrowAnalysis | |
|---|---|
| soot | Base Soot classes, shared by different intermediate representations. |
| soot.toolkits.exceptions | |
| soot.toolkits.graph | Toolkit to produce and manipulate various types of control flow graphs. |
| Uses of ThrowAnalysis in soot |
|---|
| Methods in soot that return ThrowAnalysis | |
|---|---|
ThrowAnalysis |
Scene.getDefaultThrowAnalysis()
Returns the ThrowAnalysis to be used by default when
constructing CFGs which include exceptional control flow. |
ThrowAnalysis |
Scene.getDefaultThrowAnalysis()
Returns the ThrowAnalysis to be used by default when
constructing CFGs which include exceptional control flow. |
| Methods in soot with parameters of type ThrowAnalysis | |
|---|---|
void |
Scene.setDefaultThrowAnalysis(ThrowAnalysis ta)
Sets the ThrowAnalysis to be used by default when
constructing CFGs which include exceptional control flow. |
void |
Scene.setDefaultThrowAnalysis(ThrowAnalysis ta)
Sets the ThrowAnalysis to be used by default when
constructing CFGs which include exceptional control flow. |
| Uses of ThrowAnalysis in soot.toolkits.exceptions |
|---|
| Classes in soot.toolkits.exceptions that implement ThrowAnalysis | |
|---|---|
class |
AbstractThrowAnalysis
Abstract class implementing parts of the ThrowAnalysis
interface which may be common to multiple concrete
ThrowAnalysis classes. |
class |
PedanticThrowAnalysis
A ThrowAnalysis that says that every unit can throw every
possible exception type. |
class |
UnitThrowAnalysis
A ThrowAnalysis which returns the set of runtime exceptions
and errors that might be thrown by the bytecode instructions
represented by a unit, as indicated by the Java Virtual Machine
specification. |
| Uses of ThrowAnalysis in soot.toolkits.graph |
|---|
| Fields in soot.toolkits.graph declared as ThrowAnalysis | |
|---|---|
protected ThrowAnalysis |
ExceptionalUnitGraph.throwAnalysis
|
protected ThrowAnalysis |
ExceptionalUnitGraph.throwAnalysis
|
| Methods in soot.toolkits.graph with parameters of type ThrowAnalysis | |
|---|---|
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. |
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. |
protected void |
ExceptionalUnitGraph.initialize(ThrowAnalysis throwAnalysis,
boolean omitExceptingUnitEdges)
Performs the real work of constructing an ExceptionalUnitGraph, factored out of the
constructors so that subclasses have the option to delay
creating the graph's edges until after they have performed
some subclass-specific initialization. |
protected void |
ExceptionalUnitGraph.initialize(ThrowAnalysis throwAnalysis,
boolean omitExceptingUnitEdges)
Performs the real work of constructing an ExceptionalUnitGraph, factored out of the
constructors so that subclasses have the option to delay
creating the graph's edges until after they have performed
some subclass-specific initialization. |
| Constructors in soot.toolkits.graph with parameters of type ThrowAnalysis | |
|---|---|
ExceptionalUnitGraph(Body body,
ThrowAnalysis throwAnalysis)
Constructs the graph from a given Body instance using the passed ThrowAnalysis and a default value, provided by
the Options class, for the
omitExceptingUnitEdges parameter. |
|
ExceptionalUnitGraph(Body body,
ThrowAnalysis throwAnalysis)
Constructs the graph from a given Body instance using the passed ThrowAnalysis and a default value, provided by
the Options class, for the
omitExceptingUnitEdges parameter. |
|
ExceptionalUnitGraph(Body body,
ThrowAnalysis throwAnalysis,
boolean omitExceptingUnitEdges)
Constructs the graph for a given Body instance, using the ThrowAnalysis and omitExceptingUnitEdges
value that are passed as parameters. |
|
ExceptionalUnitGraph(Body body,
ThrowAnalysis throwAnalysis,
boolean omitExceptingUnitEdges)
Constructs the graph for a given Body instance, using the ThrowAnalysis and omitExceptingUnitEdges
value that are passed as parameters. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||