Package | Description |
---|---|
soot.jbco.jimpleTransformations | |
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.jimple.toolkits.thread.synchronization | |
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 |
New2InitFlowAnalysis |
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 definitely null,
definitely 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 basically 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 |
LockableReferenceAnalysis
Finds the set of local variables and/or references that represent all of
the relevant objects used in a synchronized region, as accessible at the
start of that region.
|
class |
StrayRWFinder |
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.
|