soot.jimple.toolkits.pointer
Class FieldRWTagger
java.lang.Object
soot.Transformer
soot.BodyTransformer
soot.jimple.toolkits.pointer.FieldRWTagger
public class FieldRWTagger
- extends BodyTransformer
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
numRWs
public int numRWs
numWRs
public int numWRs
numRRs
public int numRRs
numWWs
public int numWWs
numNatives
public int numNatives
startTime
public Date startTime
FieldRWTagger
public FieldRWTagger(Singletons.Global g)
v
public static FieldRWTagger v()
initializationStuff
protected void initializationStuff(String phaseName)
keyFor
protected Object keyFor(Stmt s)
internalTransform
protected void internalTransform(Body body,
String phaseName,
Map 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 transformationphaseName
- the phasename for this transform; not typically used by implementations.options
- the actual computed options; a combination of default options and Scene specified options.