soot.jimple
Class ReachingTypeDumper

java.lang.Object
  soot.jimple.ReachingTypeDumper

public class ReachingTypeDumper
extends 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.

Author:

Ondrej Lhotak

Field Summary

protected String	output_dir
protected PointsToAnalysis	pa

Constructor Summary

ReachingTypeDumper(PointsToAnalysis pa, String output_dir)

Method Summary

void	dump()
protected void	handleClass(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

output_dir

protected String output_dir

Constructor Detail

ReachingTypeDumper

public ReachingTypeDumper(PointsToAnalysis pa,
                          String output_dir)

Method Detail

dump

public void dump()

handleClass

protected void handleClass(PrintWriter out,
                           SootClass c)