Package 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
Fields Modifier and Type Field Description protected MultiMapmergedNodesprotected MultiMapmethodToNodesprotected Stringoutput_dirprotected PAGpag
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description protected voidaddSymLinks(Iterator nodes, JarOutputStream jarOut)voiddump()protected voiddumpMethod(SootMethod m, JarOutputStream jarOut)protected voiddumpVarNode(VarNode v, JarOutputStream jarOut)protected static Stringhtmlify(String s)protected StringtoFileName(String s)protected StringvarNode(String dirPrefix, VarNode vv)protected StringvarNodeReps(VarNode v)
-
-
-
Method Detail
-
dump
public void dump()
-
dumpVarNode
protected void dumpVarNode(VarNode v, JarOutputStream jarOut) throws IOException
- Throws:
IOException
-
dumpMethod
protected void dumpMethod(SootMethod m, JarOutputStream jarOut) throws IOException
- Throws:
IOException
-
addSymLinks
protected void addSymLinks(Iterator nodes, JarOutputStream jarOut) throws IOException
- Throws:
IOException
-
-