soot.toolkits.scalar

Class ConstantInitializerToTagTransformer

java.lang.Object

soot.Transformer

soot.SceneTransformer

soot.toolkits.scalar.ConstantInitializerToTagTransformer

public class ConstantInitializerToTagTransformer
extends SceneTransformer

This is the reverse operation of the ConstantValueToInitializerTransformer. We scan for <clinit> methods that initialize a final field with a constant value and create a ConstantValueTag from this value. Afterwards, the assignment in the <clinit> method is removed. If <clinit> runs empty, it is deleted as well.

Author:

Steven Arzt

Constructor Summary

Constructors

Constructor and Description
ConstantInitializerToTagTransformer()

Method Summary

Modifier and Type	Method and Description
protected void	internalTransform(String phaseName, Map<String,String> options) Performs the transformation on the Scene, under the given phaseName and with the given Options.
void	transformClass(SootClass sc, boolean removeAssignments) Transforms the given class, i.e.
static ConstantInitializerToTagTransformer	v()

Methods inherited from class soot.SceneTransformer

transform, transform, transform

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstantInitializerToTagTransformer

public ConstantInitializerToTagTransformer()

Method Detail

v

public static ConstantInitializerToTagTransformer v()

internalTransform

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

Description copied from class: SceneTransformer

Performs the transformation on the Scene, under the given phaseName and with the given Options.

Specified by:

internalTransform in class SceneTransformer

transformClass

public void transformClass(SootClass sc,
                           boolean removeAssignments)

Transforms the given class, i.e. scans for a <clinit> method and generates new constant value tags for all constant assignments to static final fields.

Parameters:

sc - The class to transform

removeAssignments - True if the assignments inside the <clinit> method shall be removed, otherwise false