soot.jimple.spark.pag
Class PAG2HTML

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

public class PAG2HTML
extends Object

Dumps a pointer assignment graph to a html files.

Author:

Ondrej Lhotak

Field Summary

protected MultiMap	mergedNodes
protected MultiMap	methodToNodes
protected String	output_dir
protected PAG	pag

Constructor Summary

PAG2HTML(PAG pag, String output_dir)

Method Summary

protected void	addSymLinks(Iterator nodes, JarOutputStream jarOut)
void	dump()
protected void	dumpMethod(SootMethod m, JarOutputStream jarOut)
protected void	dumpVarNode(VarNode v, JarOutputStream jarOut)
protected static String	htmlify(String s)
protected String	toFileName(String s)
protected String	varNode(String dirPrefix, VarNode vv)
protected String	varNodeReps(VarNode v)

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

mergedNodes

protected MultiMap mergedNodes

methodToNodes

protected MultiMap methodToNodes

Constructor Detail

PAG2HTML

public PAG2HTML(PAG pag,
                String output_dir)

Method Detail

dump

public void dump()

dumpVarNode

protected void dumpVarNode(VarNode v,
                           JarOutputStream jarOut)
                    throws IOException

Throws:

IOException

varNodeReps

protected String varNodeReps(VarNode v)

varNode

protected String varNode(String dirPrefix,
                         VarNode vv)

htmlify

protected static String htmlify(String s)

dumpMethod

protected void dumpMethod(SootMethod m,
                          JarOutputStream jarOut)
                   throws IOException

Throws:

IOException

addSymLinks

protected void addSymLinks(Iterator nodes,
                           JarOutputStream jarOut)
                    throws IOException

Throws:

IOException

toFileName

protected String toFileName(String s)