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.
|
G.GlobalObjectGetter |
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.
|
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.
|
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.)
|
Transformer
An abstract class which acts on some Soot object.
|
Class and Description |
---|
AbstractASMBackend
Abstract super-class for ASM-based back-ends.
|
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.
|
Class and Description |
---|
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.
|
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.
|
Class and Description |
---|
Body
Abstract base class that models the body (code attribute) of a Java method.
|
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.
|
Class and Description |
---|
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.
|
Value
Data used as, for instance, arguments to instructions; typical implementations are
constants or expressions.
|
Class and Description |
---|
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.
|
Class and Description |
---|
Value
Data used as, for instance, arguments to instructions; typical implementations are
constants or expressions.
|
Class and Description |
---|
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.
|
Class and Description |
---|
Singletons.Global |
Value
Data used as, for instance, arguments to instructions; typical implementations are
constants or expressions.
|
Class and Description |
---|
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.
|
Class and Description |
---|
SootField
Soot representation of a Java field.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
Singletons.Global |
SootClass
Soot representation of a Java class.
|
Class and Description |
---|
Singletons.Global |
Class and Description |
---|
Local
A local variable, used within Body
classes.
|
Type
Represents types within Soot, eg
int , java.lang.String . |
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.
|
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.
|
Type
Represents types within Soot, eg
int , java.lang.String . |
Unit
A code fragment (eg Stmt or Inst), used within Body
classes.
|
ValueBox
A box which can contain values.
|
Class and Description |
---|
Body
Abstract base class that models the body (code attribute) of a Java method.
|
Immediate
A local or constant.
|
Local
A local variable, used within Body
classes.
|
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.
|
Class and Description |
---|
Body
Abstract base class that models the body (code attribute) of a Java method.
|
EquivTo
An alternate equivalence relation
between objects.
|
Immediate
A local or constant.
|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
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.
|
Class and Description |
---|
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.
|
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.
|
Class and Description |
---|
Local
A local variable, used within Body
classes.
|
SootClass
Soot representation of a Java class.
|
SootMethod
Soot representation of a Java method.
|
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.
|
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.
|
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.
|
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.
|
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.
|
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.
|
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.
|
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.
|
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.
|
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.
|
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.
|
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.
|
SootResolver
Loads symbols for SootClasses from either class files or jimple files.
|
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.
|
Class and Description |
---|
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.
|
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 |
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.
|
Class and Description |
---|
PointsToSet
A generic interface to some set of runtime objects computed by a
pointer analysis.
|
Class and Description |
---|
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 . |
Class and Description |
---|
ArrayType
A class that models Java's array types.
|
FastHierarchy
Represents the class hierarchy.
|
RefType
A class that models Java's reference types.
|
Singletons.Global |
SootField
Soot representation of a Java field.
|
SootMethod
Soot representation of a Java method.
|
Type
Represents types within Soot, eg
int , java.lang.String . |
TypeSwitch
Implements Switchable on base Java types.
|
Class and Description |
---|
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 . |
Class and Description |
---|
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 . |
Class and Description |
---|
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 . |
Value
Data used as, for instance, arguments to instructions; typical implementations are
constants or expressions.
|
Class and Description |
---|
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 . |
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.
|
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.
|
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.
|
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.
|
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.
|
Class and Description |
---|
Singletons.Global |
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.
|
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.
|
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.
|
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.
|
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.
|
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.
|
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.
|
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.
|
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.
|
Class and Description |
---|
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.
|
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.
|
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.
|
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.
|
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.
|
Class and Description |
---|
SootMethod
Soot representation of a Java method.
|
Unit
A code fragment (eg Stmt or Inst), used within Body
classes.
|
Class and Description |
---|
Local
A local variable, used within Body
classes.
|
SootMethod
Soot representation of a Java method.
|
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.
|
Class and Description |
---|
Body
Abstract base class that models the body (code attribute) of a Java method.
|
SootMethod
Soot representation of a Java method.
|
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.
|
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 . |
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.
|
Class and Description |
---|
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.
|
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.
|
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.
|
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.
|
Class and Description |
---|
SootMethod
Soot representation of a Java method.
|
Class and Description |
---|
Singletons.Global |
Type
Represents types within Soot, eg
int , java.lang.String . |
Class and Description |
---|
SootMethod
Soot representation of a Java method.
|
Class and Description |
---|
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.
|
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.
|
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.
|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
SootMethod
Soot representation of a Java method.
|
Unit
A code fragment (eg Stmt or Inst), used within Body
classes.
|
Class and Description |
---|
SootMethod
Soot representation of a Java method.
|
Unit
A code fragment (eg Stmt or Inst), used within Body
classes.
|
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.
|
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.
|
ValueBox
A box which can contain values.
|
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 . |
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.
|
Singletons.Global |
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.
|
Class and Description |
---|
Singletons.Global |
Class and Description |
---|
Body
Abstract base class that models the body (code attribute) of a Java method.
|
Class and Description |
---|
Singletons.Global |
Class and Description |
---|
Transformer
An abstract class which acts on some Soot object.
|
Class and Description |
---|
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.
|
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.
|
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.
|
Class and Description |
---|
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.
|
ValueBox
A box which can contain values.
|
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.
|
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.
|
Class and Description |
---|
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.
|
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.
|
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.
|
Class and Description |
---|
ArrayType
A class that models Java's array types.
|
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.
|
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.
|
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.
|
Class and Description |
---|
Unit
A code fragment (eg Stmt or Inst), used within Body
classes.
|
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 |
SootMethod
Soot representation of a Java method.
|
SootMethodRef
Representation of a reference to a method as it appears in a class file.
|
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.
|
Value
Data used as, for instance, arguments to instructions; typical implementations are
constants or expressions.
|
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.
|
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.
|
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.
|
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.
|
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.
|
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.
|
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.
|
Transformer
An abstract class which acts on some Soot object.
|
Class and Description |
---|
Body
Abstract base class that models the body (code attribute) of a Java method.
|
Singletons.Global |
Unit
A code fragment (eg Stmt or Inst), used within Body
classes.
|
Class and Description |
---|
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 . |
Class and Description |
---|
Body
Abstract base class that models the body (code attribute) of a Java method.
|
CompilationDeathException |
Singletons.Global |
Class and Description |
---|
Body
Abstract base class that models the body (code attribute) of a Java method.
|
SootClass
Soot representation of a Java class.
|
Unit
A code fragment (eg Stmt or Inst), used within Body
classes.
|
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.
|
SootField
Soot representation of a Java field.
|
SootMethod
Soot representation of a Java method.
|