| Package | Description |
|---|---|
| soot.jimple.toolkits.annotation.nullcheck |
Classes that carry out an analysis to determine whether or not null pointer
checks are necessary.
|
| soot.jimple.toolkits.scalar |
A toolkit for scalar optimization of Jimple.
|
| soot.jimple.toolkits.scalar.pre |
Particial redundency elimination.
|
| soot.toolkits.graph |
Toolkit to produce and manipulate various types of control flow
graphs.
|
| soot.toolkits.scalar |
A number of scalar optimizations, and the flow analysis framework.
|
| Modifier and Type | Class and Description |
|---|---|
class |
NullnessAssumptionAnalysis
An intraprocedural nullness assumption analysis that computes for each location and each value
in a method if the value (before or after that location) is treated as definetely null,
definetely non-null or neither.
|
| Modifier and Type | Class and Description |
|---|---|
class |
CommonPrecedingEqualValueAnalysis |
| Modifier and Type | Class and Description |
|---|---|
class |
DownSafetyAnalysis
Performs an DownSafe-analysis on the given graph.
|
class |
NotIsolatedAnalysis
Performs a Not-Isolated-analysis on the given graph, which is basicly the
same as an Isolated-analysis (we just return the complement, as it's easier
to calculate it).
|
| Modifier and Type | Class and Description |
|---|---|
class |
PostDominatorAnalysis
Deprecated.
use
MHGPostDominatorsFinder instead |
| Modifier and Type | Class and Description |
|---|---|
class |
CombinedDUAnalysis
Analysis that computes live locals, local defs, and local uses all at once.
|
Copyright © 2012-2019 RoboVM AB. All Rights Reserved.