Package 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
Fields Modifier and Type Field Description protected Stringoutput_dirprotected PointsToAnalysispa
-
Constructor Summary
Constructors Constructor Description ReachingTypeDumper(PointsToAnalysis pa, String output_dir)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voiddump()protected voidhandleClass(PrintWriter out, SootClass c)
-
-
-
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)
-
-