soot.jimple
Class ReachingTypeDumper

java.lang.Object
  |
  +--soot.jimple.ReachingTypeDumper

public class ReachingTypeDumper
extends java.lang.Object

Dumps the reaching types of each local variable to a file in a format that can be easily compared with results of other analyses, such as VTA.


Field Summary
protected  PointsToAnalysis pa
           
 
Constructor Summary
ReachingTypeDumper(PointsToAnalysis pa)
           
 
Method Summary
 void dump()
           
protected  void handleClass(java.io.PrintWriter out, SootClass c)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

pa

protected PointsToAnalysis pa
Constructor Detail

ReachingTypeDumper

public ReachingTypeDumper(PointsToAnalysis pa)
Method Detail

dump

public void dump()

handleClass

protected void handleClass(java.io.PrintWriter out,
                           SootClass c)