soot.jimple.spark.pag
Class PAGDumper

java.lang.Object
  soot.jimple.spark.pag.PAGDumper

public class PAGDumper
extends Object

Dumps a pointer assignment graph to a file.

Author:

Ondrej Lhotak

Field Summary

protected HashMap<SparkField,Integer>	fieldMap
protected int	fieldNum
protected String	output_dir
protected PAG	pag
protected soot.jimple.spark.pag.PAGDumper.ObjectNumberer	root

Constructor Summary

PAGDumper(PAG pag, String output_dir)

Method Summary

void	dump()
protected void	dumpNode(Node n, PrintWriter out)
void	dumpPointsToSets()
protected void	dumpTypes(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 String output_dir

fieldNum

protected int fieldNum

fieldMap

protected HashMap<SparkField,Integer> fieldMap

root

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

Constructor Detail

PAGDumper

public PAGDumper(PAG pag,
                 String output_dir)

Method Detail

dumpPointsToSets

public void dumpPointsToSets()

dump

public void dump()

dumpTypes

protected void dumpTypes(PrintWriter file)
                  throws IOException

Throws:

IOException

fieldToNum

protected int fieldToNum(SparkField f)

dumpNode

protected void dumpNode(Node n,
                        PrintWriter out)
                 throws IOException

Throws:

IOException