Package soot.jimple.toolkits.scalar

Class DeadAssignmentEliminator

java.lang.Object

soot.Transformer

soot.BodyTransformer

soot.jimple.toolkits.scalar.DeadAssignmentEliminator

public class DeadAssignmentEliminator
extends BodyTransformer

Constructor Summary

Constructors

Constructor	Description
DeadAssignmentEliminator(Singletons.Global g)

Method Summary

Modifier and Type	Method	Description
protected void	internalTransform(Body b, String phaseName, Map<String,String> options)	Eliminates dead code in a linear fashion.
static DeadAssignmentEliminator	v()

Methods inherited from class soot.BodyTransformer

transform, transform, transform

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DeadAssignmentEliminator

public DeadAssignmentEliminator(Singletons.Global g)

Method Detail

v

public static DeadAssignmentEliminator v()

internalTransform

protected void internalTransform(Body b,
                                 String phaseName,
                                 Map<String,String> options)

Eliminates dead code in a linear fashion. Complexity is linear with respect to the statements. Does not work on grimp code because of the check on the right hand side for side effects.

Specified by:

internalTransform in class BodyTransformer

Parameters:

b - the body on which to apply the transformation

phaseName - the phasename for this transform; not typically used by implementations.

options - the actual computed options; a combination of default options and Scene specified options.