soot.tools
Class CFGViewer
java.lang.Object
soot.tools.CFGViewer
- public class CFGViewer
- extends java.lang.Object
A utility class for generating dot graph file for a control flow graph
- Author:
- Feng Qian
Method Summary |
static void |
main(java.lang.String[] args)
|
protected void |
print_cfg(Body body)
|
void |
run(java.lang.String[] args)
|
void |
toDotFile(java.lang.String methodname,
DirectedGraph graph,
java.lang.String graphname)
Generates a dot format file for a DirectedGraph |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
UNITGRAPH
public static final int UNITGRAPH
- See Also:
- Constant Field Values
BLOCKGRAPH
public static final int BLOCKGRAPH
- See Also:
- Constant Field Values
ARRAYBLOCK
public static final int ARRAYBLOCK
- See Also:
- Constant Field Values
graphtype
public int graphtype
clsname
public java.lang.String clsname
methname
public java.lang.String methname
isBrief
public boolean isBrief
onepage
public boolean onepage
shimple
public static boolean shimple
viaShimple
public static boolean viaShimple
complete
public static boolean complete
CFGViewer
public CFGViewer()
main
public static void main(java.lang.String[] args)
run
public void run(java.lang.String[] args)
print_cfg
protected void print_cfg(Body body)
toDotFile
public void toDotFile(java.lang.String methodname,
DirectedGraph graph,
java.lang.String graphname)
- Generates a dot format file for a DirectedGraph