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.


Field Summary
protected  MultiMap mergedNodes
           
protected  MultiMap methodToNodes
           
protected  PAG pag
           
 
Constructor Summary
PAG2HTML(PAG pag)
           
 
Method Summary
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

mergedNodes

protected MultiMap mergedNodes

methodToNodes

protected MultiMap methodToNodes
Constructor Detail

PAG2HTML

public PAG2HTML(PAG pag)
Method Detail

dump

public void dump()

dumpVarNode

protected void dumpVarNode(VarNode v,
                           java.util.jar.JarOutputStream jarOut)
                    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

addSymLinks

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

toFileName

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