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.

Author:

Ondrej Lhotak

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	output_dir
protected PointsToAnalysis	pa

Constructor Summary

Constructors

Constructor and Description
ReachingTypeDumper(PointsToAnalysis pa, java.lang.String output_dir)

Method Summary

Modifier and Type	Method and Description
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

output_dir

protected java.lang.String output_dir

Constructor Detail

ReachingTypeDumper

public ReachingTypeDumper(PointsToAnalysis pa,
                          java.lang.String output_dir)

Method Detail

dump

public void dump()

handleClass

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