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 Description PurityAnalysis(Singletons.Global g)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description protected voidinternalTransform(String phaseName, Map<String,String> options)Performs the transformation on the Scene, under the given phaseName and with the given Options.static PurityAnalysisv()-
Methods inherited from class soot.SceneTransformer
transform, transform, transform
-
-
-
-
Constructor Detail
-
PurityAnalysis
public PurityAnalysis(Singletons.Global g)
-
-
Method Detail
-
v
public static PurityAnalysis v()
-
internalTransform
protected void internalTransform(String phaseName, Map<String,String> options)
Description copied from class:SceneTransformerPerforms the transformation on the Scene, under the given phaseName and with the given Options.- Specified by:
internalTransformin classSceneTransformer
-
-