Package | Description |
---|---|
soot.dava.toolkits.base.AST.structuredAnalysis | |
soot.jimple.toolkits.scalar |
A toolkit for scalar optimization of Jimple.
|
soot.jimple.toolkits.thread.mhp | |
soot.toolkits.scalar |
A number of scalar optimizations, and the flow analysis framework.
|
Modifier and Type | Class and Description |
---|---|
class |
CPFlowSet |
class |
DavaFlowSet<T> |
class |
UnreachableCodeFinder.UnreachableCodeFlowSet |
Modifier and Type | Class and Description |
---|---|
class |
ToppedSet<T>
Represents information for flow analysis, adding a top element to a lattice.
|
Modifier and Type | Class and Description |
---|---|
class |
MonitorSet |
Modifier and Type | Class and Description |
---|---|
class |
AbstractBoundedFlowSet<T>
provides functional code for most of the methods.
|
class |
ArrayPackedSet<T>
Reference implementation for a BoundedFlowSet.
|
class |
ArraySparseSet<T>
Reference implementation for a FlowSet.
|
Modifier and Type | Method and Description |
---|---|
abstract AbstractFlowSet<T> |
AbstractFlowSet.clone() |
abstract AbstractFlowSet<T> |
AbstractFlowSet.clone() |