|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages | |
| soot | Base Soot classes, shared by different intermediate representations. |
| soot.baf | Public classes for the Baf intermediate representation. |
| soot.baf.internal | Internal, messy, implementation-specific classes for the Baf intermediate representation. |
| soot.baf.toolkits.base | A toolkit to optimize the Baf IR. |
| soot.coffi | Contains classes from the Coffi tool, by Clark Verbrugge. |
| soot.grimp | Public classes for the Grimp intermediate representation. |
| soot.grimp.internal | Internal, messy, implementation-specific classes for the Grimp intermediate representation. |
| soot.grimp.toolkits.base | A toolkit to optimize the Grimp IR. |
| soot.jimple | Public classes for the Jimple intermediate representation. |
| soot.jimple.internal | Internal, messy, implementation-specific classes for the Jimple intermediate representation. |
| soot.jimple.parser | An interface to the Jimple parser. |
| soot.jimple.spark | Spark: Soot pointer analysis research kit |
| soot.jimple.spark.builder | Spark pointer assignment graph builder |
| soot.jimple.spark.internal | Spark internal messy stuff |
| soot.jimple.spark.pag | Spark pointer assignment graph implementation |
| soot.jimple.spark.sets | Spark various representations of points-to sets |
| soot.jimple.spark.solver | Spark solver (pointer assignment graph simplification and propagation) |
| soot.jimple.toolkits.annotation.arraycheck | Classes that carry out an analysis to determine whether or not array bounds checks are necessary. |
| 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.tags | Tags and aggregators to store and combine information about array bounds and null pointer checks. |
| soot.jimple.toolkits.base | A toolkit to optimize the Jimple IR. |
| soot.jimple.toolkits.graph | A set of utility classes for program transformation and optimizations. |
| soot.jimple.toolkits.invoke | A toolkit to deal with Jimple and invoke statements. |
| soot.jimple.toolkits.scalar | A toolkit for scalar optimization of Jimple. |
| soot.jimple.toolkits.scalar.pre | Particial redundency elimination. |
| soot.jimple.toolkits.typing | Implements a typing algorithm for Jimple. |
| soot.tagkit | Classes supporting classfile annotation in Soot. |
| soot.toolkits.graph | Toolkit to produce and manipulate various types CFG graphs. |
| soot.toolkits.scalar | A number of scalar optimizations, and the flow analysis framework. |
| soot.util | Generally useful utility classes for Soot. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||