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.
Field Summary |
protected java.util.HashMap |
fieldMap
|
protected int |
fieldNum
|
protected PAG |
pag
|
protected soot.jimple.spark.pag.PAGDumper.ObjectNumberer |
root
|
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
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
fieldToNum
protected int fieldToNum(SparkField f)
dumpNode
protected void dumpNode(Node n,
java.io.PrintWriter out)
throws java.io.IOException