sofya.graphs.cfg
Class jCFG

java.lang.Object
  extended by sofya.graphs.cfg.jCFG

public class jCFG
extends java.lang.Object

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)

Version:
04/29/2005
Author:
Alex Kinneer
See Also:
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

main

public static void main(java.lang.String[] argv)
Entry point for the CFG front-end.

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.