Uses of Package
soot

Packages that use soot

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.dava
soot.dava.internal.AST
soot.dava.internal.SET
soot.dava.internal.javaRep
soot.dava.toolkits.base.AST
soot.dava.toolkits.base.AST.analysis
soot.dava.toolkits.base.AST.interProcedural
soot.dava.toolkits.base.AST.structuredAnalysis
soot.dava.toolkits.base.AST.transformations
soot.dava.toolkits.base.AST.traversals
soot.dava.toolkits.base.finders
soot.dava.toolkits.base.misc
soot.dava.toolkits.base.renamer
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.javaToJimple
soot.javaToJimple.toolkits
soot.jbco
soot.jbco.bafTransformations
soot.jbco.jimpleTransformations
soot.jbco.util
soot.jimple	Public classes for the Jimple intermediate representation.
soot.jimple.internal	Internal, messy, implementation-specific classes for the Jimple intermediate representation.
soot.jimple.paddle
soot.jimple.parser	An interface to the Jimple parser.
soot.jimple.spark
soot.jimple.spark.builder
soot.jimple.spark.fieldrw
soot.jimple.spark.geom.geomE
soot.jimple.spark.geom.geomPA
soot.jimple.spark.geom.heapinsE
soot.jimple.spark.geom.ptinsE
soot.jimple.spark.internal
soot.jimple.spark.ondemand
soot.jimple.spark.ondemand.pautil
soot.jimple.spark.pag
soot.jimple.spark.sets
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.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.callgraph
soot.jimple.toolkits.graph	A set of utility classes for program transformation and optimizations.
soot.jimple.toolkits.infoflow
soot.jimple.toolkits.invoke	A toolkit to deal with Jimple and invoke statements.
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.thread
soot.jimple.toolkits.thread.mhp
soot.jimple.toolkits.thread.mhp.findobject
soot.jimple.toolkits.thread.mhp.stmt
soot.jimple.toolkits.thread.synchronization
soot.jimple.toolkits.typing	Implements a typing algorithm for Jimple.
soot.jimple.toolkits.typing.fast
soot.jimple.toolkits.typing.integer
soot.options
soot.shimple	Public classes for the SSA Shimple intermediate representation.
soot.shimple.internal	Shimple internal messy stuff.
soot.shimple.toolkits.graph
soot.shimple.toolkits.scalar	Some analyses based on Shimple.
soot.sootify
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.tools	Various extensions to Soot that can be executed instead of soot.Main.
soot.util	Generally useful utility classes for Soot.
soot.util.cfgcmd
soot.xml

Classes in soot used by soot

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'.

JastAddInitialResolver
An IInitialResolver for the JastAdd frontend.

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.

LongType
Soot representation of the Java built-in type 'long'.

Main
Main class for Soot; provides Soot's command-line user interface.

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.

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.baf

AbstractJasminClass

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.

IdentityUnit
A unit that assigns to a variable from one of {parameters, this, caughtexception}.

Local
A local variable, used within Body classes.

RefType
A class that models Java's reference types.

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.

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.

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.baf.internal

AbstractTrap
Partial implementation of trap (exception catcher), used within Body classes.

AbstractUnit
Provides default implementations for the methods in Unit.

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.

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.baf.toolkits.base

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.coffi

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.dava

AbstractUnitPrinter
Partial default UnitPrinter implementation.

Body
Abstract base class that models the body (code attribute) of a Java method.

Local
A local variable, used within Body classes.

Singletons.Global

SootClass
Soot representation of a Java class.

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.

Type
Represents types within Soot, eg int, java.lang.String.

Unit
A code fragment (eg Stmt or Inst), used within Body classes.

UnitPrinter
Interface for different methods of printing out a Unit.

Classes in soot used by soot.dava.internal.AST

AbstractUnit
Provides default implementations for the methods in Unit.

Body
Abstract base class that models the body (code attribute) of a Java method.

Context
A context in a context-sensitive all graph.

Local
A local variable, used within Body classes.

Unit
A code fragment (eg Stmt or Inst), used within Body classes.

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.dava.internal.SET

Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.dava.internal.javaRep

AbstractUnit
Provides default implementations for the methods in Unit.

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.

SootFieldRef
Representation of a reference to a field as it appears in a class file.

SootMethodRef
Representation of a reference to a method as it appears in a class file.

Type
Represents types within Soot, eg int, java.lang.String.

Unit
A code fragment (eg Stmt or Inst), used within Body classes.

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.dava.toolkits.base.AST

Singletons.Global

Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.dava.toolkits.base.AST.analysis

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.

ValueBox
A box which can contain values.

Classes in soot used by soot.dava.toolkits.base.AST.interProcedural

SootField
Soot representation of a Java field.

Classes in soot used by soot.dava.toolkits.base.AST.structuredAnalysis

Local
A local variable, used within Body classes.

SootField
Soot representation of a Java field.

Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.dava.toolkits.base.AST.transformations

Local
A local variable, used within Body classes.

Singletons.Global

SootClass
Soot representation of a Java class.

SootField
Soot representation of a Java field.

SootMethodRef
Representation of a reference to a method as it appears in a class file.

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.

ValueBox
A box which can contain values.

Classes in soot used by soot.dava.toolkits.base.AST.traversals

Local
A local variable, used within Body classes.

Singletons.Global

SootField
Soot representation of a Java field.

Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.dava.toolkits.base.finders

Singletons.Global

SootClass
Soot representation of a Java class.

Classes in soot used by soot.dava.toolkits.base.misc

Singletons.Global

Classes in soot used by soot.dava.toolkits.base.renamer

Local
A local variable, used within Body classes.

Type
Represents types within Soot, eg int, java.lang.String.

Classes in soot used by soot.grimp

ArrayType
A class that models Java's array types.

Body
Abstract base class that models the body (code attribute) of a Java method.

EquivTo
An alternate equivalence relation between objects.

Local
A local variable, used within Body classes.

RefType
A class that models Java's reference types.

Singletons.Global

SootClass
Soot representation of a Java class.

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.

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.grimp.internal

AbstractTrap
Partial implementation of trap (exception catcher), used within Body classes.

AbstractUnit
Provides default implementations for the methods in Unit.

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}.

RefType
A class that models Java's reference types.

SootClass
Soot representation of a Java class.

SootFieldRef
Representation of a reference to a field as it appears in a class file.

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.

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.grimp.toolkits.base

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.javaToJimple

Body
Abstract base class that models the body (code attribute) of a Java method.

FastHierarchy
Represents the class hierarchy.

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.

SootField
Soot representation of a Java field.

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.

Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.javaToJimple.toolkits

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.jbco

Local
A local variable, used within Body classes.

SootClass
Soot representation of a Java class.

SootMethod
Soot representation of a Java method.

Classes in soot used by soot.jbco.bafTransformations

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.

PatchingChain
An implementation of a Chain which can contain only Units, and handles patching to deal with element insertions and removals.

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.jbco.jimpleTransformations

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.

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.

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.jbco.util

Body
Abstract base class that models the body (code attribute) of a Java method.

Local
A local variable, used within Body classes.

PatchingChain
An implementation of a Chain which can contain only Units, and handles patching to deal with element insertions and removals.

SootClass
Soot representation of a Java class.

Unit
A code fragment (eg Stmt or Inst), used within Body classes.

Classes in soot used by soot.jimple

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.

MethodSource
A class which knows how to produce Body's for SootMethods.

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.

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.

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

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.paddle

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.parser

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.

SootResolver
Loads symbols for SootClasses from either class files or jimple files.

Classes in soot used by soot.jimple.spark

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.spark.builder

Local
A local variable, used within Body classes.

SootClass
Soot representation of a Java class.

SootMethod
Soot representation of a Java method.

Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.jimple.spark.fieldrw

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

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.spark.geom.geomE

Type
Represents types within Soot, eg int, java.lang.String.

Classes in soot used by soot.jimple.spark.geom.geomPA

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.

SootField
Soot representation of a Java field.

SootMethod
Soot representation of a Java method.

Type
Represents types within Soot, eg int, java.lang.String.

Classes in soot used by soot.jimple.spark.geom.heapinsE

Type
Represents types within Soot, eg int, java.lang.String.

Classes in soot used by soot.jimple.spark.geom.ptinsE

Type
Represents types within Soot, eg int, java.lang.String.

Classes in soot used by soot.jimple.spark.internal

FastHierarchy
Represents the class hierarchy.

SootMethod
Soot representation of a Java method.

Type
Represents types within Soot, eg int, java.lang.String.

Classes in soot used by soot.jimple.spark.ondemand

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.

SootField
Soot representation of a Java field.

SootMethod
Soot representation of a Java method.

Type
Represents types within Soot, eg int, java.lang.String.

Classes in soot used by soot.jimple.spark.ondemand.pautil

RefType
A class that models Java's reference types.

SceneTransformer
An abstract class which acts on the whole Scene.

SootClass
Soot representation of a Java class.

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.

Classes in soot used by soot.jimple.spark.pag

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.

Singletons.Global

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.

Classes in soot used by soot.jimple.spark.sets

PointsToSet
A generic interface to some set of runtime objects computed by a pointer analysis.

Singletons.Global

Type
Represents types within Soot, eg int, java.lang.String.

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

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

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

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

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

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

Singletons.Global

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

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

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

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

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

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

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

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

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.tags

BodyTransformer
An abstract class which acts on a Body.

Singletons.Global

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.base

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

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

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

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.invoke

Body
Abstract base class that models the body (code attribute) of a Java method.

ClassMember
Provides methods common to Soot objects belonging to classes, namely SootField and SootMethod.

Local
A local variable, used within Body classes.

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.pointer

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

SootMethod
Soot representation of a Java method.

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

Singletons.Global

Type
Represents types within Soot, eg int, java.lang.String.

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

SootMethod
Soot representation of a Java method.

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

SceneTransformer
An abstract class which acts on the whole Scene.

SootClass
Soot representation of a Java class.

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.scalar

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

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.thread

SootClass
Soot representation of a Java class.

SootMethod
Soot representation of a Java method.

Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.jimple.toolkits.thread.mhp

Body
Abstract base class that models the body (code attribute) of a Java method.

Hierarchy
Represents the class hierarchy.

SceneTransformer
An abstract class which acts on the whole Scene.

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.thread.mhp.findobject

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.jimple.toolkits.thread.mhp.stmt

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.jimple.toolkits.thread.synchronization

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.

EquivTo
An alternate equivalence relation between objects.

PatchingChain
An implementation of a Chain which can contain only Units, and handles patching to deal with element insertions and removals.

PointsToAnalysis
A generic interface to any type of pointer analysis.

SceneTransformer
An abstract class which acts on the whole Scene.

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.

Type
Represents types within Soot, eg int, java.lang.String.

Unit
A code fragment (eg Stmt or Inst), used within Body classes.

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.typing

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

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

Singletons.Global

Classes in soot used by soot.options

Singletons.Global

Classes in soot used by soot.shimple

Body
Abstract base class that models the body (code attribute) of a Java method.

EquivTo
An alternate equivalence relation between objects.

Local
A local variable, used within Body classes.

MethodSource
A class which knows how to produce Body's for SootMethods.

PointsToAnalysis
A generic interface to any type of pointer analysis.

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.

UnitBoxOwner
An implementor of this interface indicates that it may contain UnitBoxes.

Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

Classes in soot used by soot.shimple.internal

AbstractValueBox
Reference implementation for ValueBox; just add a canContainValue method.

Body
Abstract base class that models the body (code attribute) of a Java method.

EquivTo
An alternate equivalence relation between objects.

Local
A local variable, used within Body classes.

PatchingChain
An implementation of a Chain which can contain only Units, and handles patching to deal with element insertions and removals.

PatchingChain.PatchingIterator

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.shimple.toolkits.graph

EquivTo
An alternate equivalence relation between objects.

Local
A local variable, used within Body classes.

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.shimple.toolkits.scalar

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.

Immediate
A local or constant.

Local
A local variable, used within Body classes.

Singletons.Global

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.sootify

AnySubType

ArrayType
A class that models Java's array types.

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'.

DoubleType
Soot representation of the Java built-in type 'double'.

ErroneousType
Soot representation used for untypable objects.

FloatType
Soot representation of the Java built-in type 'float'.

IntType
Soot representation of the Java built-in type 'int'.

Local
A local variable, used within Body classes.

LongType
Soot representation of the Java built-in type 'long'.

NullType
Soot representation of the Java type 'null'.

RefType
A class that models Java's reference types.

ShortType
Soot representation of the Java built-in type 'short'.

Singletons.Global

SootClass
Soot representation of a Java class.

StmtAddressType
Soot representation of the Java type for a statement address.

Type
Represents types within Soot, eg int, java.lang.String.

TypeSwitch
Implements Switchable on base Java types.

UnknownType
Soot representation used for not-yet-typed objects.

Value
Data used as, for instance, arguments to instructions; typical implementations are constants or expressions.

VoidType
Represents the Java void type.

Classes in soot used by soot.tagkit

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.

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.

Classes in soot used by soot.toolkits.exceptions

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

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

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

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

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.tools

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.

Transformer
An abstract class which acts on some Soot object.

Classes in soot used by soot.util

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.

Classes in soot used by soot.util.cfgcmd

Body
Abstract base class that models the body (code attribute) of a Java method.

CompilationDeathException

Singletons.Global

Classes in soot used by soot.xml

Body
Abstract base class that models the body (code attribute) of a Java method.

Singletons.Global

SootClass
Soot representation of a Java class.

SootField
Soot representation of a Java field.

SootMethod
Soot representation of a Java method.