Control Flow Graph Factory 2008

14 days trial

Control Flow Graph Factory 2008 is an Eclipse plugin for editing control flow graphs.

Features

  • Editing of control flow graphs
    • Move, create, delete, rename, ... nodes
  • Automatic generation of several types of control flow graphs from Java bytecode:
    • bytecode graphs
    • basic block graphs
    • source code graphs
  • Export as GraphXML or image (JPEG, BMP, ICO, PNG)
  • Multiple algorithms for automatic layout (serial, hierarchical)
  • Printing support

Eclipse Integration

Generate graphs through the method context menu in package view or in the class outline view.

Method context menu in package view

Java source code can be visualized as a control flow graph and corresponding bytecode and basic block control flow graphs. Some examples are shown below:

Source code with control flow graph     Byte code with basic block graphs

Editing of Control Flow Graphs

Control Flow Graph Factory 2008 allows you to add nodes. In the example below, the additional start and end nodes have been inserted and connected to an automatically generated basic block graph.

Basic block control flow graph with manually added entry and exit nodes

Layout Algorithms

The control flow graph factory offers several predefined graph layouts.

Basic block control flow graph with hierarchical layout Basic block control flow graph with serialized layout
The hierarchical layout is very compact. The sequential layout is narrow and long.

Export as GraphXML

GraphXML is an XML-based graph description language. It covers not only the pure, mathematical description of a graph, but also its visual aspects.

With Control Flow Graph Factory 2008 the graphs can be exported with or without visual information (node color and shape) and geometry information (node size and position).

Read more about GraphXML.