soot.jimple.toolkits.annotation.purity

Class PurityAnalysis

java.lang.Object

soot.Transformer

soot.SceneTransformer

soot.jimple.toolkits.annotation.purity.PurityAnalysis

public class PurityAnalysis
extends SceneTransformer

Purity analysis phase. TODO: - test, test, and test (and correct the potentially infinite bugs) - optimise PurityGraph, especially methodCall) - find a better abstraction for exceptions (throw & catch) - output nicer graphs (especially clusters!)

Constructor Summary

Constructors

Constructor and Description
PurityAnalysis(Singletons.Global g)

Method Summary

Modifier and Type	Method and Description
protected void	internalTransform(java.lang.String phaseName, java.util.Map<java.lang.String,java.lang.String> options) Performs the transformation on the Scene, under the given phaseName and with the given Options.
static PurityAnalysis	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

PurityAnalysis

public PurityAnalysis(Singletons.Global g)

Method Detail

v

public static PurityAnalysis v()

internalTransform

protected void internalTransform(java.lang.String phaseName,
                                 java.util.Map<java.lang.String,java.lang.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