| 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() |
Copyright © 2020 Soot OSS. All rights reserved.