Cascade can be invoked from the command line to perform control flow analysis of a single method. To do so, run Java from the command line and specify the edu.uci.eecs.doc.cascade.Cascade
class followed by the appropriate arguments, as described below. (Alternatively, the quick-test
target in the Ant build script provides an easy way of supplying these arguments without re-typing them.)
edu.uci.eecs.doc.cascade.Cascade
[-bytecode] {-classpath classpath
} [-dot filename
] [-gml filename
] [-graphml filename
] [-hideCacheMiss] {-method signature
} [-print] [-recursive] [[-svg filename
] | [-svgColorized filename
]] [-text filename
]
If specified, Cascade will add a list of bytecode instructions to each control flow node in all output formats.
A list of directories that will be searched when loading classes during control flow construction. Each path in the list must be separated by the system's path separator (e.g., :
on UNIX-based systems).
If specified, Cascade will save a representation of the control flow graph in DOT format to the given file.
If specified, Cascade will save a representation of the control flow graph in GML format to the given file.
If specified, Cascade will save a representation of the control flow graph in GraphML format to the given file.
If specified, Cascade will not display cache miss blocks in the control flow graphs that it creates.
The method whose control flow graph or tree should be constructed. The method signature must be fully qualified. For example, the signature for indexOf
is java.lang.String.indexOf(java.lang.String,int)
.
If specified, Cascade will print a plain-text representation of the control flow tree to the console.
If specified during control flow tree generation, Cascade will produce trees for the method, the methods that it invokes, the methods that they invoke, and so on.
If specified, Cascade will save a representation of the control flow tree in black-and-white SVG format to the given file.
If specified, Cascade will save a representation of the control flow tree in a color-coded SVG format to the given file.
If specified, Cascade will save a representation of the control flow tree in plain text format to the given file.