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
Constructor Summary |
PAG2HTML(PAG pag,
java.lang.String output_dir)
|
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 |
pag
protected PAG pag
output_dir
protected java.lang.String output_dir
mergedNodes
protected MultiMap mergedNodes
methodToNodes
protected MultiMap methodToNodes
PAG2HTML
public PAG2HTML(PAG pag,
java.lang.String output_dir)
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)