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.