soot.jimple.toolkits.invoke
Class VTATestingFramework

java.lang.Object
  |
  +--soot.Transformer
        |
        +--soot.SceneTransformer
              |
              +--soot.jimple.toolkits.invoke.VTATestingFramework

public class VTATestingFramework
extends SceneTransformer

Tests whether VTA detects all runtime types.


Method Summary
 java.lang.String getDeclaredOptions()
           
 java.lang.String getDefaultOptions()
          Returns the list of the default phase options for this transformer.
protected  void internalTransform(java.lang.String phaseName, java.util.Map options)
          Performs the transformation on the Scene, under the given phaseName and with the given Options.
static VTATestingFramework 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
 

Method Detail

v

public static VTATestingFramework v()

getDefaultOptions

public java.lang.String getDefaultOptions()
Description copied from class: SceneTransformer
Returns the list of the default phase options for this transformer.
Overrides:
getDefaultOptions in class SceneTransformer

getDeclaredOptions

public java.lang.String getDeclaredOptions()
Overrides:
getDeclaredOptions in class SceneTransformer

internalTransform

protected void internalTransform(java.lang.String phaseName,
                                 java.util.Map options)
Description copied from class: SceneTransformer
Performs the transformation on the Scene, under the given phaseName and with the given Options.
Overrides:
internalTransform in class SceneTransformer