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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pag
protected PAG pag
fieldNum
protected int fieldNum
fieldMap
protected java.util.HashMap fieldMap
fh
protected FastHierarchy fh
root
protected soot.jimple.spark.pag.PAGDumper.ObjectNumberer root
PAGDumper
public PAGDumper(PAG pag)
dumpPointsToSets
public void dumpPointsToSets()
dump
public void dump()
dumpTypes
protected void dumpTypes(java.io.PrintWriter file)
throws java.io.IOException
java.io.IOException
fieldToNum
protected int fieldToNum(SparkField f)
dumpNode
protected void dumpNode(Node n,
java.io.PrintWriter out)
throws java.io.IOException
java.io.IOException