soot.jimple.spark.pag
Class PAGDumper
java.lang.Object
soot.jimple.spark.pag.PAGDumper
- public class PAGDumper
- extends java.lang.Object
Dumps a pointer assignment graph to a file.
- Author:
- Ondrej Lhotak
Field Summary |
protected java.util.HashMap |
fieldMap
|
protected int |
fieldNum
|
protected java.lang.String |
output_dir
|
protected PAG |
pag
|
protected soot.jimple.spark.pag.PAGDumper.ObjectNumberer |
root
|
Constructor Summary |
PAGDumper(PAG pag,
java.lang.String output_dir)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pag
protected PAG pag
output_dir
protected java.lang.String output_dir
fieldNum
protected int fieldNum
fieldMap
protected java.util.HashMap fieldMap
root
protected soot.jimple.spark.pag.PAGDumper.ObjectNumberer root
PAGDumper
public PAGDumper(PAG pag,
java.lang.String output_dir)
dumpPointsToSets
public void dumpPointsToSets()
dump
public void dump()
dumpTypes
protected void dumpTypes(java.io.PrintWriter file)
throws java.io.IOException
- Throws:
java.io.IOException
fieldToNum
protected int fieldToNum(SparkField f)
dumpNode
protected void dumpNode(Node n,
java.io.PrintWriter out)
throws java.io.IOException
- Throws:
java.io.IOException