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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pag
protected PAG pag
mergedNodes
protected MultiMap mergedNodes
methodToNodes
protected MultiMap methodToNodes
PAG2HTML
public PAG2HTML(PAG pag)
dump
public void dump()
dumpVarNode
protected void dumpVarNode(VarNode v,
java.util.jar.JarOutputStream jarOut)
throws java.io.IOException
java.io.IOException
varNodeReps
protected java.lang.String varNodeReps(VarNode v)
varNode
protected java.lang.String varNode(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
java.io.IOException
addSymLinks
protected void addSymLinks(java.util.Set nodes,
java.util.jar.JarOutputStream jarOut)
throws java.io.IOException
java.io.IOException
toFileName
protected java.lang.String toFileName(java.lang.String s)