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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pa
protected PointsToAnalysis pa
output_dir
protected java.lang.String output_dir
ReachingTypeDumper
public ReachingTypeDumper(PointsToAnalysis pa,
java.lang.String output_dir)
dump
public void dump()
handleClass
protected void handleClass(java.io.PrintWriter out,
SootClass c)