Package | Description |
---|---|
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.
|
Constructor and Description |
---|
LocalRefVarsAnalysisWrapper(ExceptionalUnitGraph graph)
Deprecated.
|
LocalRefVarsAnalysisWrapper(ExceptionalUnitGraph graph)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
protected boolean |
TrapTightener.mightThrowTo(ExceptionalUnitGraph g,
Unit u,
Trap t)
|
protected boolean |
TrapTightener.mightThrowTo(ExceptionalUnitGraph g,
Unit u,
Trap t)
|
Modifier and Type | Class and Description |
---|---|
class |
CompleteUnitGraph
|
Constructor and Description |
---|
ExceptionalBlockGraph(ExceptionalUnitGraph unitGraph)
Constructs a graph for the blocks found by partitioning the
the
Unit s in an ExceptionalUnitGraph . |
ExceptionalBlockGraph(ExceptionalUnitGraph unitGraph)
Constructs a graph for the blocks found by partitioning the
the
Unit s in an ExceptionalUnitGraph . |