soot.toolkits.scalar

Class SharedInitializationLocalSplitter

java.lang.Object

soot.Transformer

soot.BodyTransformer

soot.toolkits.scalar.SharedInitializationLocalSplitter

public class SharedInitializationLocalSplitter
extends BodyTransformer

There is a problem with the following code $u2#6 = 0; interfaceinvoke $u5#30.($u4, $u2#6); interfaceinvoke $u5#56.($u4, $u2#6); since $u2#6 will be boolean as well as int. A cast from boolean to int or vice versa is not valid in Java. The local splitter does not split the local since it would require the introduction of a new initialization statement. Therefore, we split for each usage of a constant variable, such as: $u2#6 = 0; $u2#6_2 = 0; interfaceinvoke $u5#30.($u4, $u2#6); interfaceinvoke $u5#56.($u4, $u2#6_2);

Author:

Marc Miltenberger

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

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

SharedInitializationLocalSplitter

public SharedInitializationLocalSplitter(Singletons.Global g)

SharedInitializationLocalSplitter

public SharedInitializationLocalSplitter(ThrowAnalysis ta)

SharedInitializationLocalSplitter

public SharedInitializationLocalSplitter(ThrowAnalysis ta,
                                         boolean omitExceptingUnitEdges)

Method Detail

v

public static SharedInitializationLocalSplitter 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.