|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use ExceptionalUnitGraph | |
| soot.jimple.toolkits.annotation.nullcheck | Classes that carry out an analysis to determine whether or not null pointer checks are necessary. |
| soot.toolkits.exceptions | |
| soot.toolkits.graph | Toolkit to produce and manipulate various types of control flow graphs. |
| Uses of ExceptionalUnitGraph in soot.jimple.toolkits.annotation.nullcheck |
| Constructors in soot.jimple.toolkits.annotation.nullcheck with parameters of type ExceptionalUnitGraph | |
LocalRefVarsAnalysisWrapper(ExceptionalUnitGraph graph)
|
|
| Uses of ExceptionalUnitGraph in soot.toolkits.exceptions |
| Methods in soot.toolkits.exceptions with parameters of type ExceptionalUnitGraph | |
protected boolean |
TrapTightener.mightThrowTo(ExceptionalUnitGraph g,
Unit u,
Trap t)
A utility routine which determines if a particular Unit
might throw an exception to a particular Trap, according to
the information supplied by a particular control flow graph. |
| Uses of ExceptionalUnitGraph in soot.toolkits.graph |
| Subclasses of ExceptionalUnitGraph in soot.toolkits.graph | |
class |
CompleteUnitGraph
Represents a CFG for a Body instance where the nodes
are Unit instances, and where control flow
associated with exceptions is taken into account. |
| Constructors in soot.toolkits.graph with parameters of type ExceptionalUnitGraph | |
ExceptionalBlockGraph(ExceptionalUnitGraph unitGraph)
Constructs a graph for the blocks found by partitioning the the Units in an ExceptionalUnitGraph. |
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||