soot.jimple.toolkits.annotation.arraycheck
Class ArrayBoundsChecker
java.lang.Object
|
+--soot.Transformer
|
+--soot.BodyTransformer
|
+--soot.jimple.toolkits.annotation.arraycheck.ArrayBoundsChecker
- public class ArrayBoundsChecker
- extends BodyTransformer
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
takeClassField
protected boolean takeClassField
takeFieldRef
protected boolean takeFieldRef
takeArrayRef
protected boolean takeArrayRef
takeCSE
protected boolean takeCSE
takeRectArray
protected boolean takeRectArray
v
public static ArrayBoundsChecker v()
getDeclaredOptions
public java.lang.String getDeclaredOptions()
- Overrides:
- getDeclaredOptions in class BodyTransformer
internalTransform
public void internalTransform(Body body,
java.lang.String phaseName,
java.util.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.
- Overrides:
- internalTransform in class BodyTransformer
- Tags copied from class: BodyTransformer
- Parameters:
b
- 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.