soot.jimple.toolkits.invoke
Class VariableTypeAnalysis

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

public class VariableTypeAnalysis
extends java.lang.Object

An implementation of Variable Type Analysis (as defined in Vijay Sundaresan's thesis).


Constructor Summary
VariableTypeAnalysis(InvokeGraph ig)
          Constructs a VariableTypeAnalysis object for the given InvokeGraph.
 
Method Summary
 java.util.List getReachingTypesOf(java.lang.Object o)
           
 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

getReachingTypesOf

public java.util.List getReachingTypesOf(java.lang.Object o)

trimActiveInvokeGraph

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