Installation

Verify that you have a recent version of GNAT, ASIS and Ast2Cfg installed and remember the paths.

After downloading the latest version of Cfg2Dot unpack the tarball and cd to the newly created directory. Open the Makefile in your favourite editor and adapt the paths at the beginning of the file to your needs. Execute make all and copy the resulting executable to a directory in your path.

For example:

$ tar -xzf cfg2dot-0.6.3.tar.gz
$ cd cfg2dot-0.6.3
$ vim Makefile # edit the paths
$ make all
$ cp cfg2dot /usr/bin

Usage

cfg2dot [-o DIRECTORY [-c]] [-v|-vv] [-p] [-f FILE1 FILE2 .. FILEN]

Without options all adt files in the current directory are processed and the dot contents are written to stdout.

Options:
-o: (create DIRECTORY) and save a dot file for every graph there
-c: force DIRECTORY creation. If a directory with same name already exists, it will be deleted.
-f: only consider adt files FILE1 to FILEN
-p: do not output parameter trees
-v: be verbose (show debug output)
-vv: be very verbose

Tree Files (.adt)

Cfg2Dot takes tree files that are generated by GNAT as input. In order to generate those files you need to compile the program you want to analyse with the -gnatt and the -gnatc switch. For detailed information on those files see the ASIS-for-GNAT documentation.

Changelog

0.6.3:
======
	2009-07-27, r433:
                - added command line option to skip parameter tree output
		- Added support for new Ast2Cfg version
		- minor bugfixes
0.6.2:
======
        2008-05-02, r381:
                - Added support for the new ASIS types of the new
                  ASIS version.