Uses of Class
soot.Transformer

Packages that use Transformer

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
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.liveness
soot.jimple.toolkits.annotation.logic
soot.jimple.toolkits.annotation.methods
soot.jimple.toolkits.annotation.nullcheck	Classes that carry out an analysis to determine whether or not null pointer checks are necessary.
soot.jimple.toolkits.annotation.parity
soot.jimple.toolkits.annotation.profiling
soot.jimple.toolkits.annotation.purity
soot.jimple.toolkits.annotation.qualifiers
soot.jimple.toolkits.base	A toolkit to optimize the Jimple IR.
soot.jimple.toolkits.callgraph
soot.jimple.toolkits.graph	A set of utility classes for program transformation and optimizations.
soot.jimple.toolkits.pointer
soot.jimple.toolkits.scalar	A toolkit for scalar optimization of Jimple.
soot.jimple.toolkits.scalar.pre	Particial redundency elimination.
soot.jimple.toolkits.typing	Implements a typing algorithm for Jimple.
soot.tagkit	Classes supporting classfile annotation in Soot.
soot.toolkits.exceptions
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.

Uses of Transformer in soot

Subclasses of Transformer in soot

Modifier and Type	Class and Description
class	BodyTransformer An abstract class which acts on a Body.
class	SceneTransformer An abstract class which acts on the whole Scene.

Methods in soot that return Transformer

Modifier and Type	Method and Description
Transformer	Transform.getTransformer()

Constructors in soot with parameters of type Transformer

Constructor and Description
Transform(java.lang.String phaseName, Transformer t)

Uses of Transformer in soot.jimple.toolkits.annotation

Subclasses of Transformer in soot.jimple.toolkits.annotation

Modifier and Type	Class and Description
class	AvailExprTagger A body transformer that records avail expression information in tags.
class	DominatorsTagger A body transformer that records avail expression information in tags.
class	LineNumberAdder

Uses of Transformer in soot.jimple.toolkits.annotation.arraycheck

Subclasses of Transformer in soot.jimple.toolkits.annotation.arraycheck

Modifier and Type	Class and Description
class	ArrayBoundsChecker
class	RectangularArrayFinder Interprocedural analysis to identify rectangular multi-dimension array locals.

Uses of Transformer in soot.jimple.toolkits.annotation.callgraph

Subclasses of Transformer in soot.jimple.toolkits.annotation.callgraph

Modifier and Type	Class and Description
class	CallGraphGrapher A scene transformer that creates a graphical callgraph.
class	CallGraphTagger

Uses of Transformer in soot.jimple.toolkits.annotation.defs

Subclasses of Transformer in soot.jimple.toolkits.annotation.defs

Modifier and Type	Class and Description
class	ReachingDefsTagger

Uses of Transformer in soot.jimple.toolkits.annotation.fields

Subclasses of Transformer in soot.jimple.toolkits.annotation.fields

Modifier and Type	Class and Description
class	UnreachableFieldsTagger A scene transformer that adds tags to unused fields.

Uses of Transformer in soot.jimple.toolkits.annotation.liveness

Subclasses of Transformer in soot.jimple.toolkits.annotation.liveness

Modifier and Type	Class and Description
class	LiveVarsTagger

Uses of Transformer in soot.jimple.toolkits.annotation.logic

Subclasses of Transformer in soot.jimple.toolkits.annotation.logic

Modifier and Type	Class and Description
class	LoopFinder
class	LoopInvariantFinder

Uses of Transformer in soot.jimple.toolkits.annotation.methods

Subclasses of Transformer in soot.jimple.toolkits.annotation.methods

Modifier and Type	Class and Description
class	UnreachableMethodsTagger A scene transformer that adds tags to unused methods.

Uses of Transformer in soot.jimple.toolkits.annotation.nullcheck

Subclasses of Transformer in soot.jimple.toolkits.annotation.nullcheck

Modifier and Type	Class and Description
class	NullCheckEliminator
class	NullPointerChecker
class	NullPointerColorer

Uses of Transformer in soot.jimple.toolkits.annotation.parity

Subclasses of Transformer in soot.jimple.toolkits.annotation.parity

Modifier and Type	Class and Description
class	ParityTagger A body transformer that records parity analysis information in tags.

Uses of Transformer in soot.jimple.toolkits.annotation.profiling

Subclasses of Transformer in soot.jimple.toolkits.annotation.profiling

Modifier and Type	Class and Description
class	ProfilingGenerator

Uses of Transformer in soot.jimple.toolkits.annotation.purity

Subclasses of Transformer in soot.jimple.toolkits.annotation.purity

Modifier and Type	Class and Description
class	PurityAnalysis TODO: - test, test, and test (and correct the potentially infinite bugs) - optimise PurityGraph, especially methodCall) - find a better abstraction for exceptions (throw & catch) - output nicer graphs (especially clusters!)

Uses of Transformer in soot.jimple.toolkits.annotation.qualifiers

Subclasses of Transformer in soot.jimple.toolkits.annotation.qualifiers

Modifier and Type	Class and Description
class	TightestQualifiersTagger a scene transformer that add tags to indicate the tightest qualifies possible for fields and methods (ie: private, protected or public)

Uses of Transformer in soot.jimple.toolkits.base

Subclasses of Transformer in soot.jimple.toolkits.base

Modifier and Type	Class and Description
class	Aggregator
class	ExceptionChecker
class	JimpleConstructorFolder
class	PartialConstructorFolder
class	ThisInliner

Uses of Transformer in soot.jimple.toolkits.callgraph

Subclasses of Transformer in soot.jimple.toolkits.callgraph

Modifier and Type	Class and Description
class	CHATransformer Builds an invoke graph using Class Hierarchy Analysis.
class	ClinitElimTransformer
class	UnreachableMethodTransformer

Uses of Transformer in soot.jimple.toolkits.graph

Subclasses of Transformer in soot.jimple.toolkits.graph

Modifier and Type	Class and Description
class	CriticalEdgeRemover removes all critical edges. A critical edge is an edge from Block A to block B, if B has more than one predecessor and A has more the one successor. As an example: If we wanted a computation to be only on the path A->B this computation must be directly on the edge.
class	LoopConditionUnroller "unrolls" the condition of while/for loops. before the first test of a while-loop, we can't be sure, if the body will be taken or not, and several optimizations (especially LCM) can't be done.

Uses of Transformer in soot.jimple.toolkits.pointer

Subclasses of Transformer in soot.jimple.toolkits.pointer

Modifier and Type	Class and Description
class	CastCheckEliminatorDumper A body transformer that simply calls the CastCheckEliminator analysis.
class	FieldRWTagger
class	ParameterAliasTagger Adds colour tags to indicate potential aliasing between method parameters.
class	SideEffectTagger

Uses of Transformer in soot.jimple.toolkits.scalar

Subclasses of Transformer in soot.jimple.toolkits.scalar

Modifier and Type	Class and Description
class	CommonSubexpressionEliminator Runs an available expressions analysis on a body, then eliminates common subexpressions.
class	ConditionalBranchFolder
class	ConstantPropagatorAndFolder Does constant propagation and folding.
class	CopyPropagator
class	DeadAssignmentEliminator
class	LocalNameStandardizer
class	NopEliminator
class	UnconditionalBranchFolder
class	UnreachableCodeEliminator

Uses of Transformer in soot.jimple.toolkits.scalar.pre

Subclasses of Transformer in soot.jimple.toolkits.scalar.pre

Modifier and Type	Class and Description
class	BusyCodeMotion Performs a partial redundancy elimination (= code motion).
class	LazyCodeMotion Performs a partial redundancy elimination (= code motion).

Uses of Transformer in soot.jimple.toolkits.typing

Subclasses of Transformer in soot.jimple.toolkits.typing

Modifier and Type	Class and Description
class	TypeAssigner This transformer assigns types to local variables.

Uses of Transformer in soot.tagkit

Subclasses of Transformer in soot.tagkit

Modifier and Type	Class and Description
class	InnerClassTagAggregator The aggregator for LineNumberTable attribute.

Uses of Transformer in soot.toolkits.exceptions

Subclasses of Transformer in soot.toolkits.exceptions

Modifier and Type	Class and Description
class	TrapTightener A BodyTransformer that shrinks the protected area covered by each Trap in the Body so that it begins at the first of the Body's Units which might throw an exception caught by the Trap and ends just after the last Unit which might throw an exception caught by the Trap.

Uses of Transformer in soot.toolkits.scalar

Subclasses of Transformer in soot.toolkits.scalar

Modifier and Type	Class and Description
class	LocalPacker A BodyTransformer that attemps to minimize the number of local variables used in Body by 'reusing' them when possible.
class	LocalSplitter A BodyTransformer that attemps to indentify and separate uses of a local varible that are independent of each other.
class	RoboVmLocalPacker A BodyTransformer that attemps to merge back Locals that have same local index and same type It has to be called after TypeAssigner
class	UnusedLocalEliminator A BodyTransformer that removes all unused local variables from a given Body.