Uses of Package
soot

Packages that use soot

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.coffi	Contains classes from the Coffi tool, by Clark Verbrugge.
soot.grimp
soot.javaToJimple
soot.jimple	Public classes for the Jimple intermediate representation.
soot.jimple.internal	Internal, messy, implementation-specific classes for the Jimple intermediate representation.
soot.jimple.toolkits.annotation	A toolkit to annotate classfiles with array and null bounds check information.
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.callgraph
soot.jimple.toolkits.annotation.defs
soot.jimple.toolkits.annotation.fields
soot.jimple.toolkits.annotation.j5anno
soot.jimple.toolkits.annotation.liveness
soot.jimple.toolkits.annotation.logic
soot.jimple.toolkits.annotation.methods
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.profiling
soot.jimple.toolkits.annotation.purity
soot.jimple.toolkits.annotation.qualifiers
soot.jimple.toolkits.base	A toolkit to optimize the Jimple IR.
soot.jimple.toolkits.callgraph
soot.jimple.toolkits.graph	A set of utility classes for program transformation and optimizations.
soot.jimple.toolkits.infoflow
soot.jimple.toolkits.pointer
soot.jimple.toolkits.pointer.nativemethods
soot.jimple.toolkits.pointer.representations
soot.jimple.toolkits.pointer.util
soot.jimple.toolkits.reflection
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.jimple.toolkits.typing.fast
soot.jimple.toolkits.typing.integer
soot.options
soot.tagkit	Classes supporting classfile annotation in Soot.
soot.toolkits.exceptions
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.
soot.toolkits.graph.interaction
soot.toolkits.graph.pdg
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.
soot.util	Generally useful utility classes for Soot.

Classes in soot used by soot

Class and Description
AbstractUnitPrinter Partial default UnitPrinter implementation.
AnySubType
ArrayType A class that models Java's array types.
AttributesUnitPrinter Adds PositionTags to ValueBoxes to identify their position in the output.
Body Abstract base class that models the body (code attribute) of a Java method.
BodyPack A wrapper object for a pack of optimizations.
BooleanType Soot representation of the Java built-in type 'boolean'.
ByteType Soot representation of the Java built-in type 'byte'.
CharType Soot representation of the Java built-in type 'char'.
ClassMember Provides methods common to Soot objects belonging to classes, namely SootField and SootMethod.
ClassProvider A class provider looks for a file of a specific format for a specified class, and returns a ClassSource for it if it finds it.
ClassSource A class source is responsible for resolving a single class from a particular source format (.class, .jimple, .java, etc.)
Context A context in a context-sensitive all graph.
DoubleType Soot representation of the Java built-in type 'double'.
EntryPoints Returns the various potential entry points of a Java program.
EquivTo An alternate equivalence relation between objects.
ErroneousType Soot representation used for untypable objects.
FastHierarchy Represents the class hierarchy.
FastHierarchy.Interval
FloatType Soot representation of the Java built-in type 'float'.
G A class to group together all the global variables in Soot.
HasPhaseOptions Interface for things like Packs and phases that have phase options.
Hierarchy Represents the class hierarchy.
Immediate A local or constant.
IntegerType Soot interface implemented by all classes representing integer types [boolean, byte, short, char, and int].
IntType Soot representation of the Java built-in type 'int'.
Kind Enumeration type representing the kind of a call graph edge.
LabeledUnitPrinter UnitPrinter implementation for representations that have labelled stmts, such as Jimple, Grimp, and Baf
Local A local variable, used within Body classes.
LocalVariable Added in RoboVM to keep track of local variable tables.
LongType Soot representation of the Java built-in type 'long'.
MethodContext Represents a pair of a method and a context.
MethodOrMethodContext A common interface for either just a method, or a method with context.
MethodSource A class which knows how to produce Body's for SootMethods.
NullType Soot representation of the Java type 'null'.
Pack A wrapper object for a pack of optimizations.
PackManager Manages the Packs containing the various phases and their options.
PatchingChain An implementation of a Chain which can contain only Units, and handles patching to deal with element insertions and removals.
PhaseOptions Manages the phase options of the various soot phases.
PointsToAnalysis A generic interface to any type of pointer analysis.
PointsToSet A generic interface to some set of runtime objects computed by a pointer analysis.
PrimType Abstract class for Soot classes that that model Java primitive types (ie all types except void, null, reference types, and array types)
Printer Prints out a class and all its methods.
RefLikeType Abstract class for Soot classes that model subtypes of java.lang.Object (ie.
RefType A class that models Java's reference types.
Scene Manages the SootClasses of the application being analyzed.
ScenePack A wrapper object for a pack of optimizations.
ShortType Soot representation of the Java built-in type 'short'.
Singletons A class to group together all the global variables in Soot.
Singletons.Global
SootClass Soot representation of a Java class.
SootField Soot representation of a Java field.
SootFieldRef Representation of a reference to a field as it appears in a class file.
SootMethod Soot representation of a Java method.
SootMethodRef Representation of a reference to a method as it appears in a class file.
SootMethodType Representation of a MethodType as used in the invokedynamic bytecode.
SootResolver Loads symbols for SootClasses from either class files or jimple files.
SourceLocator Provides utility methods to retrieve an input stream for a class name, given a classfile, or jimple or baf output files.
SourceLocator.FoundFile
StmtAddressType Soot representation of the Java type for a statement address.
Timer Utility class providing a timer.
Timers
Transform Maintains the pair (phaseName, singleton) needed for a transformation.
Transformer An abstract class which acts on some Soot object.
Trap A trap (exception catcher), used within Body classes.
Type Represents types within Soot, eg int, java.lang.String.
Unit A code fragment (eg Stmt or Inst), used within Body classes.
UnitBox A box which can contain units.
UnitBoxOwner An implementor of this interface indicates that it may contain UnitBoxes.
UnitPrinter Interface for different methods of printing out a Unit.
UnknownType Soot representation used for not-yet-typed objects.
Value Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.
ValueBox A box which can contain values.
VoidType Represents the Java void type.

Classes in soot used by soot.coffi

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
Local A local variable, used within Body classes.
MethodSource A class which knows how to produce Body's for SootMethods.
Singletons.Global
SootClass Soot representation of a Java class.
SootMethod Soot representation of a Java method.
Type Represents types within Soot, eg int, java.lang.String.
Value Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.grimp

Class and Description
EquivTo An alternate equivalence relation between objects.
RefType A class that models Java's reference types.
Value Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.
ValueBox A box which can contain values.

Classes in soot used by soot.javaToJimple

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
Local A local variable, used within Body classes.
SootClass Soot representation of a Java class.
Type Represents types within Soot, eg int, java.lang.String.

Classes in soot used by soot.jimple

Class and Description
AbstractUnit Provides default implementations for the methods in Unit.
ArrayType A class that models Java's array types.
Body Abstract base class that models the body (code attribute) of a Java method.
Context A context in a context-sensitive all graph.
EquivTo An alternate equivalence relation between objects.
IdentityUnit A unit that assigns to a variable from one of {parameters, this, caughtexception}.
Immediate A local or constant.
Local A local variable, used within Body classes.
PointsToAnalysis A generic interface to any type of pointer analysis.
RefType A class that models Java's reference types.
SideEffectTester Provides side effect information.
Singletons.Global
SootClass Soot representation of a Java class.
SootField Soot representation of a Java field.
SootFieldRef Representation of a reference to a field as it appears in a class file.
SootMethod Soot representation of a Java method.
SootMethodHandle Representation of a MethodHandle as used in the invokedynamic bytecode.
SootMethodRef Representation of a reference to a method as it appears in a class file.
SootMethodType Representation of a MethodType as used in the invokedynamic bytecode.
Trap A trap (exception catcher), used within Body classes.
Type Represents types within Soot, eg int, java.lang.String.
Unit A code fragment (eg Stmt or Inst), used within Body classes.
UnitBox A box which can contain units.
UnitPrinter Interface for different methods of printing out a Unit.
Value Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.
ValueBox A box which can contain values.

Classes in soot used by soot.jimple.internal

Class and Description
AbstractTrap Partial implementation of trap (exception catcher), used within Body classes.
AbstractUnit Provides default implementations for the methods in Unit.
AbstractUnitBox Reference implementation for UnitBox; just add a canContainUnit method.
AbstractValueBox Reference implementation for ValueBox; just add a canContainValue method.
ArrayType A class that models Java's array types.
Context A context in a context-sensitive all graph.
EquivTo An alternate equivalence relation between objects.
IdentityUnit A unit that assigns to a variable from one of {parameters, this, caughtexception}.
Immediate A local or constant.
Local A local variable, used within Body classes.
RefType A class that models Java's reference types.
SootClass Soot representation of a Java class.
SootField Soot representation of a Java field.
SootFieldRef Representation of a reference to a field as it appears in a class file.
SootMethod Soot representation of a Java method.
SootMethodRef Representation of a reference to a method as it appears in a class file.
Trap A trap (exception catcher), used within Body classes.
Type Represents types within Soot, eg int, java.lang.String.
Unit A code fragment (eg Stmt or Inst), used within Body classes.
UnitBox A box which can contain units.
UnitBoxOwner An implementor of this interface indicates that it may contain UnitBoxes.
UnitPrinter Interface for different methods of printing out a Unit.
Value Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.
ValueBox A box which can contain values.

Classes in soot used by soot.jimple.toolkits.annotation

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
SceneTransformer An abstract class which acts on the whole Scene.
Singletons.Global
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.jimple.toolkits.annotation.arraycheck

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
SceneTransformer An abstract class which acts on the whole Scene.
Singletons.Global
SootClass Soot representation of a Java class.
SootField Soot representation of a Java field.
SootMethod Soot representation of a Java method.
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.jimple.toolkits.annotation.callgraph

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
Kind Enumeration type representing the kind of a call graph edge.
SceneTransformer An abstract class which acts on the whole Scene.
Singletons.Global
SootMethod Soot representation of a Java method.
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.jimple.toolkits.annotation.defs

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
Singletons.Global
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.jimple.toolkits.annotation.fields

Class and Description
SceneTransformer An abstract class which acts on the whole Scene.
Singletons.Global
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.jimple.toolkits.annotation.j5anno

Class and Description
Singletons.Global

Classes in soot used by soot.jimple.toolkits.annotation.liveness

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
Singletons.Global
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.jimple.toolkits.annotation.logic

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
Singletons.Global
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.jimple.toolkits.annotation.methods

Class and Description
SceneTransformer An abstract class which acts on the whole Scene.
Singletons.Global
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.jimple.toolkits.annotation.nullcheck

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
EquivalentValue Encapsulates the Value class, but uses EquivTo for equality comparisons.
Immediate A local or constant.
Singletons.Global
Transformer An abstract class which acts on some Soot object.
Unit A code fragment (eg Stmt or Inst), used within Body classes.
Value Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.jimple.toolkits.annotation.parity

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
Singletons.Global
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.jimple.toolkits.annotation.profiling

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
Singletons.Global
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.jimple.toolkits.annotation.purity

Class and Description
Local A local variable, used within Body classes.
SceneTransformer An abstract class which acts on the whole Scene.
Singletons.Global
SootMethod Soot representation of a Java method.
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.jimple.toolkits.annotation.qualifiers

Class and Description
SceneTransformer An abstract class which acts on the whole Scene.
Singletons.Global
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.jimple.toolkits.base

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
RefType A class that models Java's reference types.
Singletons.Global
SootClass Soot representation of a Java class.
SootMethod Soot representation of a Java method.
Transformer An abstract class which acts on some Soot object.
Unit A code fragment (eg Stmt or Inst), used within Body classes.

Classes in soot used by soot.jimple.toolkits.callgraph

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
Context A context in a context-sensitive all graph.
HasPhaseOptions Interface for things like Packs and phases that have phase options.
Kind Enumeration type representing the kind of a call graph edge.
Local A local variable, used within Body classes.
MethodOrMethodContext A common interface for either just a method, or a method with context.
Pack A wrapper object for a pack of optimizations.
PointsToAnalysis A generic interface to any type of pointer analysis.
RadioScenePack A wrapper object for a pack of optimizations.
RefType A class that models Java's reference types.
ScenePack A wrapper object for a pack of optimizations.
SceneTransformer An abstract class which acts on the whole Scene.
Singletons.Global
SootMethod Soot representation of a Java method.
Transformer An abstract class which acts on some Soot object.
Type Represents types within Soot, eg int, java.lang.String.
Unit A code fragment (eg Stmt or Inst), used within Body classes.

Classes in soot used by soot.jimple.toolkits.graph

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
Singletons.Global
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.jimple.toolkits.infoflow

Class and Description
EquivalentValue Encapsulates the Value class, but uses EquivTo for equality comparisons.
EquivTo An alternate equivalence relation between objects.
Immediate A local or constant.
Local A local variable, used within Body classes.
SootClass Soot representation of a Java class.
SootField Soot representation of a Java field.
SootMethod Soot representation of a Java method.
Type Represents types within Soot, eg int, java.lang.String.
UnitPrinter Interface for different methods of printing out a Unit.
Value Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.jimple.toolkits.pointer

Class and Description
AnySubType
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
Context A context in a context-sensitive all graph.
Local A local variable, used within Body classes.
PointsToAnalysis A generic interface to any type of pointer analysis.
PointsToSet A generic interface to some set of runtime objects computed by a pointer analysis.
RefType A class that models Java's reference types.
SideEffectTester Provides side effect information.
Singletons.Global
SootField Soot representation of a Java field.
SootMethod Soot representation of a Java method.
Transformer An abstract class which acts on some Soot object.
Unit A code fragment (eg Stmt or Inst), used within Body classes.
Value Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.jimple.toolkits.pointer.nativemethods

Class and Description
SootMethod Soot representation of a Java method.

Classes in soot used by soot.jimple.toolkits.pointer.representations

Class and Description
Singletons.Global
Type Represents types within Soot, eg int, java.lang.String.

Classes in soot used by soot.jimple.toolkits.pointer.util

Class and Description
SootMethod Soot representation of a Java method.

Classes in soot used by soot.jimple.toolkits.reflection

Class and Description
SootClass Soot representation of a Java class.
SootMethod Soot representation of a Java method.

Classes in soot used by soot.jimple.toolkits.scalar

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
Local A local variable, used within Body classes.
SideEffectTester Provides side effect information.
Singletons.Global
SootMethod Soot representation of a Java method.
Transformer An abstract class which acts on some Soot object.
Type Represents types within Soot, eg int, java.lang.String.
Unit A code fragment (eg Stmt or Inst), used within Body classes.
Value Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.jimple.toolkits.scalar.pre

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
EquivalentValue Encapsulates the Value class, but uses EquivTo for equality comparisons.
SideEffectTester Provides side effect information.
Singletons.Global
Transformer An abstract class which acts on some Soot object.
Unit A code fragment (eg Stmt or Inst), used within Body classes.
Value Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.jimple.toolkits.typing

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
Scene Manages the SootClasses of the application being analyzed.
Singletons.Global
SootClass Soot representation of a Java class.
Transformer An abstract class which acts on some Soot object.
Type Represents types within Soot, eg int, java.lang.String.

Classes in soot used by soot.jimple.toolkits.typing.fast

Class and Description
IntegerType Soot interface implemented by all classes representing integer types [boolean, byte, short, char, and int].
Local A local variable, used within Body classes.
PrimType Abstract class for Soot classes that that model Java primitive types (ie all types except void, null, reference types, and array types)
RefType A class that models Java's reference types.
Type Represents types within Soot, eg int, java.lang.String.
Value Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.jimple.toolkits.typing.integer

Class and Description
Singletons.Global

Classes in soot used by soot.options

Class and Description
Singletons.Global

Classes in soot used by soot.tagkit

Class and Description
SceneTransformer An abstract class which acts on the whole Scene.
Singletons.Global
SootClass Soot representation of a Java class.
Transformer An abstract class which acts on some Soot object.

Classes in soot used by soot.toolkits.exceptions

Class and Description
AnySubType
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
Local A local variable, used within Body classes.
RefType A class that models Java's reference types.
Singletons.Global
Transformer An abstract class which acts on some Soot object.
Trap A trap (exception catcher), used within Body classes.
Unit A code fragment (eg Stmt or Inst), used within Body classes.

Classes in soot used by soot.toolkits.graph

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
Singletons.Global
SootMethod Soot representation of a Java method.
Trap A trap (exception catcher), used within Body classes.
Unit A code fragment (eg Stmt or Inst), used within Body classes.

Classes in soot used by soot.toolkits.graph.interaction

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
Singletons.Global
SootMethod Soot representation of a Java method.
Transform Maintains the pair (phaseName, singleton) needed for a transformation.

Classes in soot used by soot.toolkits.graph.pdg

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
SootClass Soot representation of a Java class.
SootMethod Soot representation of a Java method.
Unit A code fragment (eg Stmt or Inst), used within Body classes.

Classes in soot used by soot.toolkits.scalar

Class and Description
AbstractValueBox Reference implementation for ValueBox; just add a canContainValue method.
Body Abstract base class that models the body (code attribute) of a Java method.
BodyTransformer An abstract class which acts on a Body.
EquivTo An alternate equivalence relation between objects.
Local A local variable, used within Body classes.
Singletons.Global
Transformer An abstract class which acts on some Soot object.
Unit A code fragment (eg Stmt or Inst), used within Body classes.
UnitBox A box which can contain units.
UnitPrinter Interface for different methods of printing out a Unit.
Value Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.
ValueBox A box which can contain values.

Classes in soot used by soot.util

Class and Description
Body Abstract base class that models the body (code attribute) of a Java method.
Singletons.Global
SootClass Soot representation of a Java class.
Unit A code fragment (eg Stmt or Inst), used within Body classes.