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

Fields

Modifier and Type	Field and Description
protected java.util.HashMap<SparkField,java.lang.Integer>	fieldMap
protected int	fieldNum
protected java.lang.String	output_dir
protected PAG	pag
protected soot.jimple.spark.pag.PAGDumper.ObjectNumberer	root

Constructor Summary

Constructors

Constructor and Description
PAGDumper(PAG pag, java.lang.String output_dir)

Method Summary

Modifier and Type	Method and Description
void	dump()
protected void	dumpNode(Node n, java.io.PrintWriter out)
void	dumpPointsToSets()
protected void	dumpTypes(java.io.PrintWriter file)
protected int	fieldToNum(SparkField f)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

pag

protected PAG pag

output_dir

protected java.lang.String output_dir

fieldNum

protected int fieldNum

fieldMap

protected java.util.HashMap<SparkField,java.lang.Integer> fieldMap

root

protected soot.jimple.spark.pag.PAGDumper.ObjectNumberer root

Constructor Detail

PAGDumper

public PAGDumper(PAG pag,
                 java.lang.String output_dir)

Method Detail

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