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.annotation.parity | |
soot.jimple.toolkits.annotation.purity | |
soot.jimple.toolkits.callgraph | |
soot.jimple.toolkits.infoflow | |
soot.jimple.toolkits.pointer | |
soot.jimple.toolkits.scalar |
A toolkit for scalar optimization of Jimple.
|
soot.jimple.toolkits.scalar.pre |
Particial redundency elimination.
|
soot.jimple.toolkits.thread.mhp | |
soot.jimple.toolkits.thread.mhp.findobject | |
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 |
ParityAnalysis |
Modifier and Type | Class and Description |
---|---|
class |
PurityIntraproceduralAnalysis
Intra-procedural purity-graph analysis.
|
Modifier and Type | Class and Description |
---|---|
class |
ClinitElimAnalysis |
class |
ConstantArrayAnalysis |
Modifier and Type | Class and Description |
---|---|
class |
SimpleMethodInfoFlowAnalysis |
class |
SimpleMethodLocalObjectsAnalysis |
Modifier and Type | Class and Description |
---|---|
class |
LocalMayAliasAnalysis
Conducts a method-local, equality-based may-alias analysis.
|
class |
LocalMustAliasAnalysis
LocalMustAliasAnalysis attempts to determine if two local
variables (at two potentially different program points) must point
to the same object.
|
class |
LocalMustNotAliasAnalysis
LocalNotMayAliasAnalysis attempts to determine if two local
variables (at two potentially different program points) definitely
point to different objects.
|
class |
StrongLocalMustAliasAnalysis
A special version of the local must-alias analysis that takes redefinitions within loops into account.
|
Modifier and Type | Class and Description |
---|---|
class |
CommonPrecedingEqualValueAnalysis |
class |
EqualLocalsAnalysis |
class |
EqualUsesAnalysis
Deprecated.
This class is buggy. Please use soot.jimple.toolkits.pointer.LocalMustAliasAnalysis instead.
|
class |
FastAvailableExpressionsAnalysis
Implements an available expressions analysis on local variables.
|
class |
PessimisticAvailableExpressionsAnalysis
Implements an available expressions analysis on local variables.
|
class |
SlowAvailableExpressionsAnalysis
Implements an available expressions analysis on local variables.
|
Modifier and Type | Class and Description |
---|---|
class |
DelayabilityAnalysis
Performs a Delayability-analysis on the given graph.
|
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).
|
class |
UpSafetyAnalysis
Performs an UpSafe-analysis on the given graph.
|
Modifier and Type | Class and Description |
---|---|
class |
MonitorAnalysis |
class |
StartJoinAnalysis |
Modifier and Type | Class and Description |
---|---|
class |
MultiRunStatementsFinder |
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 |
class |
SynchronizedRegionFinder |
Modifier and Type | Class and Description |
---|---|
class |
DominatorAnalysis
Deprecated.
use
MHGDominatorsFinder instead |
class |
PostDominatorAnalysis
Deprecated.
use
MHGPostDominatorsFinder instead |
Modifier and Type | Class and Description |
---|---|
class |
BackwardFlowAnalysis<N,A>
Abstract class that provides the fixed point iteration functionality required
by all BackwardFlowAnalyses.
|
class |
CombinedDUAnalysis
Analysis that computes live locals, local defs, and local uses all at once.
|
class |
ForwardFlowAnalysis<N,A>
Abstract class that provides the fixed point iteration functionality required
by all ForwardFlowAnalyses.
|
class |
InitAnalysis
An analysis to check whether or not local variables have been initialised.
|