soot.jimple.toolkits.invoke
Class VariableTypeAnalysis2

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

public class VariableTypeAnalysis2
extends java.lang.Object

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


Constructor Summary
VariableTypeAnalysis2(InvokeGraph ig)
          Constructs a VariableTypeAnalysis2 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

VariableTypeAnalysis2

public VariableTypeAnalysis2(InvokeGraph ig)
Constructs a VariableTypeAnalysis2 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.