|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object sofya.graphs.cfg.jCFG
public class jCFG
Front end to the CFG builder.
A classfile name (or set of names) is provided as an input to the
jCFG class. It then uses a CFGBuilder
to construct
the control flow graphs for each method in each class and then save .cf
and .map files for the class.
Note: This class cannot be instantiated. The correct method for
other objects to build graphs for a class is to use the
CFGBuilder
class.
Usage:java sofya.graphs.cfg.jCFG [-tag <tag>]
<classname> [classname ...]
(without .class extension)
CFG
,
CFGBuilder
Method Summary | |
---|---|
static void |
main(java.lang.String[] argv)
Entry point for the CFG front-end. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static void main(java.lang.String[] argv)
The subject class is loaded, control flow graphs are built for each of its methods, and control flow graph and map files are written to the database directory based on the data.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |