soot.jimple.toolkits.invoke
Class VariableTypeAnalysis

java.lang.Object
  |
  +--soot.jimple.toolkits.invoke.VariableTypeAnalysis

public class VariableTypeAnalysis
extends java.lang.Object

Incomplete implementation of Variable Type Analysis (as defined in Vijay Sundaresan's thesis). It remains to implement some notion of a VTA-graph editor (for native methods); also, something needs to be done to properly account for start nodes.


Constructor Summary
VariableTypeAnalysis(InvokeGraph ig)
          Constructs a VariableTypeAnalysis object for the given InvokeGraph.
 
Method Summary
 void trimActiveInvokeGraph()
          Uses the results of this analysis to trim the active invoke graph.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

VariableTypeAnalysis

public VariableTypeAnalysis(InvokeGraph ig)
Constructs a VariableTypeAnalysis object for the given InvokeGraph. Calling trimInvokeGraph will modify the associated invokeGraph according to this VTA's results.
Method Detail

trimActiveInvokeGraph

public void trimActiveInvokeGraph()
Uses the results of this analysis to trim the active invoke graph.