soot.jimple.spark.pag

Class PAG2HTML

java.lang.Object

soot.jimple.spark.pag.PAG2HTML

public class PAG2HTML
extends java.lang.Object

Dumps a pointer assignment graph to a html files.

Author:

Ondrej Lhotak

Field Summary

Fields

Modifier and Type	Field and Description
protected MultiMap	mergedNodes
protected MultiMap	methodToNodes
protected java.lang.String	output_dir
protected PAG	pag

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addSymLinks(java.util.Iterator nodes, java.util.jar.JarOutputStream jarOut)
void	dump()
protected void	dumpMethod(SootMethod m, java.util.jar.JarOutputStream jarOut)
protected void	dumpVarNode(VarNode v, java.util.jar.JarOutputStream jarOut)
protected static java.lang.String	htmlify(java.lang.String s)
protected java.lang.String	toFileName(java.lang.String s)
protected java.lang.String	varNode(java.lang.String dirPrefix, VarNode vv)
protected java.lang.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 java.lang.String output_dir

mergedNodes

protected MultiMap mergedNodes

methodToNodes

protected MultiMap methodToNodes

Constructor Detail

PAG2HTML

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

Method Detail

dump

public void dump()

dumpVarNode

protected void dumpVarNode(VarNode v,
               java.util.jar.JarOutputStream jarOut)
                    throws java.io.IOException

Throws:

java.io.IOException

varNodeReps

protected java.lang.String varNodeReps(VarNode v)

varNode

protected java.lang.String varNode(java.lang.String dirPrefix,
                       VarNode vv)

htmlify

protected static java.lang.String htmlify(java.lang.String s)

dumpMethod

protected void dumpMethod(SootMethod m,
              java.util.jar.JarOutputStream jarOut)
                   throws java.io.IOException

Throws:

java.io.IOException

addSymLinks

protected void addSymLinks(java.util.Iterator nodes,
               java.util.jar.JarOutputStream jarOut)
                    throws java.io.IOException

Throws:

java.io.IOException

toFileName

protected java.lang.String toFileName(java.lang.String s)