soot.toolkits.scalar

Class FlowSensitiveConstantPropagator

java.lang.Object

soot.Transformer

soot.BodyTransformer

soot.toolkits.scalar.FlowSensitiveConstantPropagator

public class FlowSensitiveConstantPropagator
extends BodyTransformer

A constant propagator which can cope with cases like a = 2; b = a; a = b; as well as if (x) { a = 2; } else { a = 2; } b = a;

Author:

Marc Miltenberger

See Also:

BodyTransformer, LocalPacker, Body

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	FlowSensitiveConstantPropagator.BetterConstantPropagator
protected static class	FlowSensitiveConstantPropagator.ConstantState

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	omitExceptingUnitEdges
protected ThrowAnalysis	throwAnalysis

Constructor Summary

Constructors

Constructor and Description
FlowSensitiveConstantPropagator(Singletons.Global g)
FlowSensitiveConstantPropagator(ThrowAnalysis ta)
FlowSensitiveConstantPropagator(ThrowAnalysis ta, boolean omitExceptingUnitEdges)

Method Summary

Modifier and Type	Method and Description
protected FlowSensitiveConstantPropagator.BetterConstantPropagator	createBetterConstantPropagator(ExceptionalUnitGraph graph)
protected void	internalTransform(Body body, String phaseName, Map<String,String> options) This method is called to perform the transformation itself.
static FlowSensitiveConstantPropagator	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

Field Detail

throwAnalysis

protected ThrowAnalysis throwAnalysis

omitExceptingUnitEdges

protected boolean omitExceptingUnitEdges

Constructor Detail

FlowSensitiveConstantPropagator

public FlowSensitiveConstantPropagator(Singletons.Global g)

FlowSensitiveConstantPropagator

public FlowSensitiveConstantPropagator(ThrowAnalysis ta)

FlowSensitiveConstantPropagator

public FlowSensitiveConstantPropagator(ThrowAnalysis ta,
                                       boolean omitExceptingUnitEdges)

Method Detail

v

public static FlowSensitiveConstantPropagator v()

internalTransform

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

Description copied from class: BodyTransformer

This method is called to perform the transformation itself. It is declared abstract; subclasses must implement this method by making it the entry point to their actual Body transformation.

Specified by:

internalTransform in class BodyTransformer

Parameters:

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

createBetterConstantPropagator

protected FlowSensitiveConstantPropagator.BetterConstantPropagator createBetterConstantPropagator(ExceptionalUnitGraph graph)