Uses of Class
soot.BodyTransformer

Packages that use BodyTransformer

Package	Description
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.liveness
soot.jimple.toolkits.annotation.logic
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.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.toolkits.exceptions
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.

Uses of BodyTransformer in soot.jimple.toolkits.annotation

Subclasses of BodyTransformer 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.

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

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

Modifier and Type	Class and Description
class	ArrayBoundsChecker

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

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

Modifier and Type	Class and Description
class	CallGraphTagger

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

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

Modifier and Type	Class and Description
class	ReachingDefsTagger

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

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

Modifier and Type	Class and Description
class	LiveVarsTagger

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

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

Modifier and Type	Class and Description
class	LoopFinder
class	LoopInvariantFinder

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

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

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

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

Subclasses of BodyTransformer 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 BodyTransformer in soot.jimple.toolkits.annotation.profiling

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

Modifier and Type	Class and Description
class	ProfilingGenerator

Uses of BodyTransformer in soot.jimple.toolkits.base

Subclasses of BodyTransformer in soot.jimple.toolkits.base

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

Uses of BodyTransformer in soot.jimple.toolkits.callgraph

Subclasses of BodyTransformer in soot.jimple.toolkits.callgraph

Modifier and Type	Class and Description
class	ClinitElimTransformer
class	UnreachableMethodTransformer

Uses of BodyTransformer in soot.jimple.toolkits.graph

Subclasses of BodyTransformer 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 BodyTransformer in soot.jimple.toolkits.pointer

Subclasses of BodyTransformer 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 BodyTransformer in soot.jimple.toolkits.scalar

Subclasses of BodyTransformer 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 BodyTransformer in soot.jimple.toolkits.scalar.pre

Subclasses of BodyTransformer 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 BodyTransformer in soot.jimple.toolkits.typing

Subclasses of BodyTransformer in soot.jimple.toolkits.typing

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

Uses of BodyTransformer in soot.toolkits.exceptions

Subclasses of BodyTransformer 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 BodyTransformer in soot.toolkits.scalar

Subclasses of BodyTransformer 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.